| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 diskt1 | 124 bytes | 2017-12-23 18:02:24 |
| 📄 maketag | 1144 bytes | 2017-12-23 18:02:24 |
| 📄 manifest.gz | 7153 bytes | 2017-12-23 18:02:24 |
| 📄 readme.tex | 2738 bytes | 2017-12-23 18:02:24 |
| 📄 tagfile | 129 bytes | 2017-12-23 18:02:24 |
| 📄 tagfile.org | 129 bytes | 2017-12-23 18:02:24 |
| 📄 tagfile.pat | 129 bytes | 2017-12-23 18:02:24 |
| 📄 texbin.tgz | 954152 bytes | 2017-12-23 18:02:24 |