Name Last modified Size Description![[DIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[TXT]](/icons/text.gif){kind=icon}
install 11-Aug-1993 07:00 8.2K
install.other 16-Aug-1993 07:00 8.1K
![[ ]](/icons/compressed.gif){kind=icon}
isitex.web.gz 16-Aug-1993 07:00 322K
isitex3.ch 11-Aug-1993 07:00 39K
sitex3.ch 16-Aug-1993 07:00 86K
![[ ]](/icons/unknown.gif){kind=icon}
tex.ch 11-Aug-1993 07:00 69K
tex.ch.other 16-Aug-1993 07:00 70K
texd.h.ch 11-Aug-1993 07:00 1.2K
web2c.yacc.ch 11-Aug-1993 07:00 3.4K