Apache/2.4.41 (Ubuntu) Server at ftp5.de.freebsd.org Port 80Name Last modified Size Description
Parent Directory -
COPYING 2002-06-30 18:00 18K
EMTEX 2002-06-30 18:00 742
HISTORY 2002-06-30 18:00 480
INSTALL 2002-06-30 18:00 2.7K
MIKTEX 2002-06-30 18:00 934
README 2002-06-30 18:00 550
doc/ 2002-07-02 16:43 -
mfinput/ 2002-06-30 18:00 -
texinput/ 2002-07-02 16:43 -
tfm/ 2002-06-30 18:00 -