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