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