Index of /ctan/systems/texrocks/lua/texdef

Icon  Name                        Last modified      Size  Description
[PARENTDIR] Parent Directory                                 -   
[TXT] main.tex                    2025-08-04 18:26  2.8K  
[TXT] sub.tex                     2025-08-04 18:26  510
Apache/2.4.58 (Ubuntu) Server at www.gnu.ftp.uni-erlangen.de Port 80