Name Last modified Size Description Parent Directory - doc/ 2014-01-03 10:10 - minifp.ins 2013-02-03 20:34 1.6K minifp.dtx 2014-01-02 22:18 162K README 2014-01-01 01:04 4.4K