Index of:

 Name                      Last modified      Size  
 Parent Directory                               -   
 DEPENDS.txt               2025-02-17 21:47   18   
 INSTALL.txt               2025-02-17 21:47  1.9K  
 README.txt.gz             2025-02-17 21:47  2.1K  
 CHANGELOG.txt             2025-02-17 21:47  2.6K  
 texdef.tex.gz             2025-02-17 21:47  4.6K  
 texdef.pdf                2025-02-17 21:47  157K