![[ICO]](/icons2/blank.png)
![[PARENTDIR]](/icons2/go-previous.png)
![[TXT]](/icons2/text-x-generic.png)
![[DOC]](/icons2/x-office-document.png)
![[SCR]](/icons2/text-x-script.png)
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| CHANGELOG.txt | 2025-02-17 10:50 | 2.6K |
| DEPENDS.txt | 2025-02-17 10:50 | 18 |
| INSTALL.txt | 2025-02-17 10:50 | 1.9K |
| README.txt | 2025-02-17 10:50 | 6.1K |
| texdef.pdf | 2025-02-17 10:50 | 157K |
| texdef.pl | 2025-02-17 10:50 | 32K |
| texdef.tex | 2025-02-17 10:50 | 15K |