Name Last modified Size DescriptionApache/2.4.25 (Debian) Server at ftp.ist.utl.pt Port 80
Parent Directory - mf/ 2005-05-31 13:43 - inputs/ 2004-02-03 17:13 - fonts/ 2004-02-03 17:13 - doc/ 2004-02-03 17:13 - pkfonts.zip 1993-03-03 00:00 24K readme 1992-03-17 23:00 4.3K makefile 1992-03-17 23:00 3.5K installation 1992-03-17 23:00 11K copyright 1992-03-17 23:00 688 changes12 1992-03-17 23:00 4.8K