| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| install | 8362 | 1993-Aug-12 07:00 | |
| install.other | 8294 | 1993-Aug-17 07:00 | |
| isitex.web.gz | 329454 | 1993-Aug-17 07:00 | |
| isitex3.ch | 40058 | 1993-Aug-12 07:00 | |
| sitex3.ch | 87836 | 1993-Aug-17 07:00 | |
| tex.ch | 71039 | 1993-Aug-12 07:00 | |
| tex.ch.other | 72050 | 1993-Aug-17 07:00 | |
| texd.h.ch | 1195 | 1993-Aug-12 07:00 | |
| web2c.yacc.ch | 3506 | 1993-Aug-12 07:00 | |