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