| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| 00index.txt | 286 B | 1994-Jul-21 23:49 | |
| diskt1 | 1017 B | 1994-Jul-21 23:49 | |
| dvi2xx.tgz | 103.8 KiB | 1994-Jul-21 23:49 | |
| gentle.tgz | 58.7 KiB | 1994-Jul-21 23:49 | |
| maketag | 1.2 KiB | 1994-Jul-21 23:49 | |
| manifest.gz | 7.0 KiB | 1994-Jul-21 23:49 | |
| readme.tex | 2.7 KiB | 1994-Jul-21 23:49 | |
| tagfile | 153 B | 1994-Jul-21 23:49 | |
| tagfile.org | 153 B | 1994-Jul-21 23:49 | |
| tagfile.pat | 153 B | 1994-Jul-21 23:49 | |
| texbin.tgz | 710.3 KiB | 1994-Jul-21 23:49 | |