../ CHANGELOG 01-Oct-2023 19:34 2632 INSTALL 01-Oct-2023 19:34 1921 README 01-Oct-2023 19:34 6249 texdef.pdf 01-Oct-2023 19:34 152172 texdef.pl 01-Oct-2023 19:34 33029 texdef.tex 01-Oct-2023 19:34 14856