../ CHANGELOG 25-Apr-2024 19:44 2632 INSTALL 25-Apr-2024 19:44 1921 README 25-Apr-2024 19:44 6249 texdef.pdf 25-Apr-2024 19:44 152172 texdef.pl 25-Apr-2024 19:44 33029 texdef.tex 25-Apr-2024 19:44 14856