../ 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 157K texdef.pl 17-Feb-2025 16:50 32K texdef.tex 17-Feb-2025 16:50 15K