../ CHANGELOG.txt 17-Feb-2025 16:50 2708 DEPENDS.txt 17-Feb-2025 16:50 18 INSTALL.txt 17-Feb-2025 16:50 1921 README.txt 17-Feb-2025 16:50 6247 texdef.pdf 17-Feb-2025 16:50 160879 texdef.pl 17-Feb-2025 16:50 33042 texdef.tex 17-Feb-2025 16:50 14850