Name Last modified Size Description![[DIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/unknown.gif){kind=icon}
diskt1 09-Feb-2001 03:17 2.0K
install.end 30-Sep-1999 04:20 457
maketag 11-Mar-1999 15:35 1.3K
maketag.ez 11-Mar-1999 15:35 1.3K
tagfile 11-Mar-1999 15:32 61
tagfile.org 11-Mar-1999 15:32 61
![[ ]](/icons/compressed.gif){kind=icon}
tetex.tgz 25-Apr-2000 10:01 19M
tex_bin.tgz 25-Apr-2000 10:04 3.0M
tex_doc.tgz 25-Apr-2000 10:05 15M
transfig.tgz 09-Feb-2001 02:41 162K
xfig.tgz 11-Feb-2001 17:20 1.7M