Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/unknown.gif){kind=icon}
diskt1 2001-02-08 18:17 2.0K
install.end 1999-09-29 19:20 457
maketag 1999-03-11 06:35 1.3K
maketag.ez 1999-03-11 06:35 1.3K
tagfile 1999-03-11 06:32 61
tagfile.org 1999-03-11 06:32 61
![[ ]](/icons/compressed.gif){kind=icon}
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
transfig.tgz 2001-02-08 17:41 162K
xfig.tgz 2001-02-11 08:20 1.7M