../ diskt1 25-Apr-2000 06:00 2069 install.end 29-Sep-1999 06:00 457 maketag 11-Mar-1999 07:00 1285 maketag.ez 11-Mar-1999 07:00 1285 tagfile 11-Mar-1999 07:00 61 tagfile.org 11-Mar-1999 07:00 61 tetex.tgz 25-Apr-2000 06:00 19M tex_bin.tgz 25-Apr-2000 06:00 3M tex_doc.tgz 25-Apr-2000 06:00 15M transfig.tgz 19-Jul-1999 06:00 137K xfig.tgz 19-Jul-1999 06:00 1M