../ CHANGELOG.txt 11-Jul-2025 19:37 2708 DEPENDS.txt 11-Jul-2025 19:37 18 INSTALL.txt 11-Jul-2025 19:37 1921 README.txt 11-Jul-2025 19:37 6247 texdef.pdf 11-Jul-2025 19:37 160879 texdef.pl 11-Jul-2025 19:37 33042 texdef.tex 11-Jul-2025 19:37 14850