../ CHANGELOG 06-Jul-2022 19:39 2632 INSTALL 06-Jul-2022 19:39 1921 README 06-Jul-2022 19:39 6249 texdef.pdf 06-Jul-2022 19:39 152172 texdef.pl 06-Jul-2022 19:39 33029 texdef.tex 06-Jul-2022 19:39 14856