../ packages/ 09-Aug-2025 23:48 - Makefile 21-Mar-2023 20:51 498 Makefile.top 16-Oct-2023 19:59 172 README.md.gz 24-May-2022 20:23 2134 stex-devel.tex.gz 21-Mar-2023 20:51 17392 stex-doc.pdf 16-Oct-2023 19:59 4940119 stex-doc.tex 16-Oct-2023 19:59 2240 stex-docheader.tex.gz 16-Oct-2023 19:59 3554 stex-manual.pdf 16-Oct-2023 19:59 745799 stex-tutorial.pdf 16-Oct-2023 19:59 3457463