../ install 12-Aug-1993 05:00 8362 install.other 17-Aug-1993 05:00 8294 isitex.web.gz 17-Aug-1993 05:00 329454 isitex3.ch 12-Aug-1993 05:00 40058 sitex3.ch 17-Aug-1993 05:00 87836 tex.ch 12-Aug-1993 05:00 71039 tex.ch.other 17-Aug-1993 05:00 72050 texd.h.ch 12-Aug-1993 05:00 1195 web2c.yacc.ch 12-Aug-1993 05:00 3506