| File Name | File Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| install | 8362 | 11-Aug-1993 22:00 |
| install.other | 8294 | 16-Aug-1993 22:00 |
| isitex.web.gz | 322K | 16-Aug-1993 22:00 |
| isitex3.ch | 39K | 11-Aug-1993 22:00 |
| sitex3.ch | 86K | 16-Aug-1993 22:00 |
| tex.ch | 69K | 11-Aug-1993 22:00 |
| tex.ch.other | 70K | 16-Aug-1993 22:00 |
| texd.h.ch | 1195 | 11-Aug-1993 22:00 |
| web2c.yacc.ch | 3506 | 11-Aug-1993 22:00 |