| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| install | 8.2 KiB | 1993-Aug-11 22:00 | |
| isitex3.ch | 39.1 KiB | 1993-Aug-11 22:00 | |
| tex.ch | 69.4 KiB | 1993-Aug-11 22:00 | |
| texd.h.ch | 1.2 KiB | 1993-Aug-11 22:00 | |
| web2c.yacc.ch | 3.4 KiB | 1993-Aug-11 22:00 | |
| install.other | 8.1 KiB | 1993-Aug-16 22:00 | |
| isitex.web.gz | 321.7 KiB | 1993-Aug-16 22:00 | |
| sitex3.ch | 85.8 KiB | 1993-Aug-16 22:00 | |
| tex.ch.other | 70.4 KiB | 1993-Aug-16 22:00 | |