| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| NEWS.gz | 4023 | 2024-Mar-10 20:06 |
| README.md | 3871 | 2024-Mar-10 20:06 |
| texdoc.tex.gz | 12669 | 2024-Mar-10 20:06 |
| texdoc.pdf | 89531 | 2024-Mar-10 20:06 |
| texdoc-doc.cls.gz | 2608 | 2023-Feb-19 21:04 |
| COPYING.gz | 12130 | 2018-Jun-06 22:25 |