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