Name Last modified Size DescriptionApache/2.4.25 (Debian) Server at ftp.ist.utl.pt Port 80
Parent Directory - dvipsmanfonts 2008-08-29 22:19 1.9K iby/ 2010-03-16 09:53 - ibyfonts 2008-08-12 22:57 263 local.mf 2008-08-16 07:41 1.1K manfonts 2014-06-29 15:04 247 mfwebfonts 2014-06-29 15:04 100 plainfonts 2014-06-29 15:07 1.2K texwebfonts 2014-06-29 15:07 68 tripfonts 2008-08-23 10:25 55 tripmanfonts 2008-08-23 10:25 55 webfonts 2009-10-18 18:55 42