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