../ install 11-Aug-1993 22:00 6138 install.other 16-Aug-1993 22:00 6086 sitex.web.gz 16-Aug-1993 22:00 316K sitex3.ch 16-Aug-1993 22:00 86K tex.ch 11-Aug-1993 22:00 69K tex.ch.other 16-Aug-1993 22:00 70K