Name Last modified Size Parent Directory - doc/ 2014-01-03 19:10 - minifp.ins 2013-02-04 05:34 1.6K minifp.dtx 2014-01-03 07:18 162K