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