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