Name Last modified Size Description Parent Directory - doc/ 03-Jan-2014 18:30 - minifp.ins 04-Feb-2013 04:34 1.6K minifp.dtx 03-Jan-2014 06:18 162K