| Name ▴ | Size | Last Modified |
|---|---|---|
| ../ | - | - |
| install | 8.2 KB | 1993-08-11 22:00 |
| install.other | 8.1 KB | 1993-08-16 22:00 |
| isitex.web.gz | 321.7 KB | 1993-08-16 22:00 |
| isitex3.ch | 39.1 KB | 1993-08-11 22:00 |
| sitex3.ch | 85.8 KB | 1993-08-16 22:00 |
| tex.ch | 69.4 KB | 1993-08-11 22:00 |
| tex.ch.other | 70.4 KB | 1993-08-16 22:00 |
| texd.h.ch | 1.2 KB | 1993-08-11 22:00 |
| web2c.yacc.ch | 3.4 KB | 1993-08-11 22:00 |
9 items, 607.2 KB total