Name Last modified Size DescriptionApache/2.4.25 (Debian) Server at ftp.ist.utl.pt Port 80
Parent Directory - COPYING 2001-09-30 23:00 18K EMTEX 2001-09-30 23:00 725 HISTORY 2001-09-30 23:00 243 INSTALL 2001-09-30 23:00 2.1K MIKTEX 2001-09-30 23:00 908 README 2001-09-30 23:00 389 doc/ 2001-09-30 23:00 - mfinput/ 2001-09-30 23:00 - texinput/ 2001-09-30 23:00 - tfm/ 2001-09-30 23:00 -