Name Last modified Size Description Parent Directory - aaareadme.txt 1997-06-30 20:24 1.9K texk.tgz 1997-02-14 09:18 3.6M texmflib.gz 1997-02-14 09:17 1.5M web2c-page.txt 1997-02-14 09:18 7.8K web2c.ann 1997-02-14 09:16 20K