Name Last modified Size Description
Parent Directory - 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 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