Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/unknown.gif){kind=icon}
tagfile 1999-03-10 18:00 61
tagfile.org 1999-03-10 18:00 61
install.end 1999-09-28 19:00 457
maketag 1999-03-10 18:00 1.3K
maketag.ez 1999-03-10 18:00 1.3K
diskt1 1999-07-18 19:00 2.0K
![[ ]](/icons/compressed.gif){kind=icon}
transfig.tgz 1999-07-18 19:00 137K
xfig.tgz 1999-07-18 19:00 1.5M
tex_bin.tgz 1999-07-18 19:00 3.0M
tex_doc.tgz 1999-07-18 19:00 15M
tetex.tgz 1999-09-26 19:00 18M