Index of:

 Name                    Last modified      Size  
 Parent Directory                             -   
 Makefile                2023-03-21 21:51  498   
 Makefile.top            2023-10-16 21:59  172   
 README.md.gz            2022-05-24 22:23  2.1K  
 packages/               2025-08-19 12:25    -   
 stex-devel.tex.gz       2023-03-21 21:51   17K  
 stex-doc.pdf            2023-10-16 21:59  4.7M  
 stex-doc.tex            2023-10-16 21:59  2.2K  
 stex-docheader.tex.gz   2023-10-16 21:59  3.5K  
 stex-manual.pdf         2023-10-16 21:59  728K  
 stex-tutorial.pdf       2023-10-16 21:59  3.3M