../ packages/ 11-Nov-2025 15:58 - Makefile 20-Mar-2023 14:34 498 stex-doc.pdf 10-Nov-2025 15:46 4M stex-doc.tex 03-Jul-2025 17:52 2275 stex-docheader.tex 03-Jul-2025 17:59 16K