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 |