Name Last modified Size DescriptionApache/2.4.25 (Debian) Server at ftp.ist.utl.pt Port 80
Parent Directory - read.me 1992-09-26 23:00 1.5K INSTALL 1992-12-14 00:00 5.9K Makefile 1992-12-14 00:00 4.3K README 1992-12-14 00:00 5.0K doc/ 1999-10-20 08:21 - emtex/ 1999-10-20 08:21 - latex/ 1999-10-20 08:21 - mf/ 1999-10-20 08:21 - tex/ 1999-10-20 08:21 - unix/ 1999-10-20 08:21 - utils/ 1999-10-20 08:21 - install/ 2003-05-16 17:14 - tfm/ 2003-05-16 17:14 -