../ doc/ 03-Jan-2014 17:10 - README 01-Jan-2014 08:04 4464 minifp.dtx 03-Jan-2014 05:18 162K minifp.ins 04-Feb-2013 03:34 1684