../ CHANGELOG 16-Jul-2024 19:36 2632 INSTALL 16-Jul-2024 19:36 1921 README 16-Jul-2024 19:36 6249 texdef.pdf 16-Jul-2024 19:36 152172 texdef.pl 16-Jul-2024 19:36 33029 texdef.tex 16-Jul-2024 19:36 14856