Name Last modified Size Description Parent Directory - install.other 1993-08-16 22:00 5.9K install 1993-08-11 22:00 6.0K tex.ch 1993-08-11 22:00 69K tex.ch.other 1993-08-16 22:00 70K sitex3.ch 1993-08-16 22:00 86K sitex.web.gz 1993-08-16 22:00 316K