../ CHANGELOG 12-Dec-2024 19:35 2632 INSTALL 12-Dec-2024 19:35 1921 README 12-Dec-2024 19:35 6249 texdef.pdf 12-Dec-2024 19:35 152172 texdef.pl 12-Dec-2024 19:35 33029 texdef.tex 12-Dec-2024 19:35 14856