Name Last modified Size Description Parent Directory - doc/ 2014-01-03 11:10 - minifp.dtx 2014-01-02 23:18 162K minifp.ins 2013-02-03 21:34 1.6K