Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/unknown.gif){kind=icon}
diskt1 2000-04-24 20:10 2.0K
install.end 1999-09-29 14:20 457
maketag 1999-03-11 00:35 1.3K
maketag.ez 1999-03-11 00:35 1.3K
tagfile 1999-03-11 00:32 61
tagfile.org 1999-03-11 00:32 61
![[ ]](/icons/compressed.gif){kind=icon}
tetex.tgz 2000-04-24 20:01 19M
tex_bin.tgz 2000-04-24 20:04 3.0M
tex_doc.tgz 2000-04-24 20:05 15M
transfig.tgz 1999-07-19 14:10 137K
xfig.tgz 1999-07-19 13:55 1.5M