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