Name Last modified Size Parent Directory - texk-7.2b.tar.gz 1998-07-02 22:10 6.0M texklib-7.0.tar.gz 1998-07-02 00:00 3.3M texmflib-7.4.tar.gz 1998-07-02 22:12 2.2M web-7.2.tar.gz 1998-03-11 20:25 1.4M web2c-7.2b.tar.gz 1998-07-02 22:10 1.5M