![[ICO]](/icons2/blank.png)
![[PARENTDIR]](/icons2/go-previous.png)
![[ ]](/icons2/dialog-question.png)
![[ARC]](/icons2/package-x-generic.png)
![[SRC]](/icons2/text-x-script.png)
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| install | 1993-08-12 00:00 | 8.2K |
| install.other | 1993-08-17 00:00 | 8.1K |
| isitex.web.gz | 1993-08-17 00:00 | 322K |
| isitex3.ch | 1993-08-12 00:00 | 39K |
| sitex3.ch | 1993-08-17 00:00 | 86K |
| tex.ch | 1993-08-12 00:00 | 69K |
| tex.ch.other | 1993-08-17 00:00 | 70K |
| texd.h.ch | 1993-08-12 00:00 | 1.2K |
| web2c.yacc.ch | 1993-08-12 00:00 | 3.4K |