Apache/2.4.41 (Ubuntu) Server at ftp.fau.de Port 80Name Last modified Size Description
Parent Directory -
doc/ 1999-10-20 09:23 -
mfinput/ 1999-10-20 09:23 -
texinput/ 1999-10-20 09:23 -
tfm/ 1999-10-20 09:23 -
FILES 1997-08-31 02:00 597
README 1997-08-31 02:00 1.2K