Name Last modified Size Description![[DIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/unknown.gif){kind=icon}
diskt1 14-Oct-2001 12:13 2.0K
install.end 21-Sep-2000 05:12 457
maketag 10-Mar-2002 22:48 1.5K
maketag.ez 09-Mar-2002 13:27 1.5K
tagfile 14-Oct-2001 12:13 1.5K
tagfile.org 14-Oct-2001 12:13 1.5K
![[ ]](/icons/compressed.gif){kind=icon}
tetex.tgz 07-Dec-2000 16:44 19M
tex_bin.tgz 07-Dec-2000 16:46 3.5M
tex_doc.tgz 07-Dec-2000 16:47 15M
transfig.tgz 16-Feb-2001 00:35 183K
xfig.tgz 16-Feb-2001 02:26 1.7M