../ CHANGELOG 28-Sep-2020 19:56 2632 INSTALL 28-Sep-2020 19:56 1921 README 28-Sep-2020 19:56 6249 texdef.pdf 28-Sep-2020 19:56 149K texdef.pl 28-Sep-2020 19:56 32K texdef.tex 28-Sep-2020 19:56 15K