| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| install | 6.0 KiB | 1993-Aug-11 22:00 |
| install.other | 5.9 KiB | 1993-Aug-16 22:00 |
| sitex.web.gz | 316.4 KiB | 1993-Aug-16 22:00 |
| sitex3.ch | 85.8 KiB | 1993-Aug-16 22:00 |
| tex.ch | 69.3 KiB | 1993-Aug-11 22:00 |
| tex.ch.other | 70.3 KiB | 1993-Aug-16 22:00 |