| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| diskt1 | 124 B | 2017-Dec-23 18:02 | |
| maketag | 1.1 KiB | 2017-Dec-23 18:02 | |
| manifest.gz | 7.0 KiB | 2017-Dec-23 18:02 | |
| readme.tex | 2.7 KiB | 2017-Dec-23 18:02 | |
| tagfile | 129 B | 2017-Dec-23 18:02 | |
| tagfile.org | 129 B | 2017-Dec-23 18:02 | |
| tagfile.pat | 129 B | 2017-Dec-23 18:02 | |
| texbin.tgz | 931.8 KiB | 2017-Dec-23 18:02 | |