| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| install | 6138 | 1993-Aug-12 07:00 | |
| install.other | 6086 | 1993-Aug-17 07:00 | |
| sitex.web.gz | 324022 | 1993-Aug-17 07:00 | |
| sitex3.ch | 87836 | 1993-Aug-17 07:00 | |
| tex.ch | 70935 | 1993-Aug-12 07:00 | |
| tex.ch.other | 71946 | 1993-Aug-17 07:00 | |