| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| 00_index.txt | 112 B | 1995-Sep-10 22:43 | |
| 00_index.html | 675 B | 1995-Sep-11 00:07 | |
| goodies1 | 2.2 KiB | 1994-Nov-12 02:00 | |
| concrete.tgz | 10.9 KiB | 1994-Nov-12 02:00 | |
| mkindex.tgz | 24.0 KiB | 1994-Nov-12 02:00 | |
| pandora.tgz | 63.4 KiB | 1994-Nov-12 02:00 | |
| dviljk.tgz | 119.0 KiB | 1994-Nov-12 02:00 | |
| xtexsh.tgz | 127.1 KiB | 1994-Nov-12 02:00 | |
| dc.tgz | 185.2 KiB | 1994-Nov-12 02:00 | |
| gothic.tgz | 202.7 KiB | 1994-Nov-12 02:00 | |
| texinfo.tgz | 245.9 KiB | 1994-Nov-12 02:00 | |