../ packages/ 16-Oct-2023 14:59 - Makefile 20-Mar-2023 14:34 498 stex-devel.tex 20-Mar-2023 14:34 68K stex-doc.pdf 16-Oct-2023 12:47 5M stex-doc.tex 19-Sep-2023 22:04 2240 stex-docheader.tex 13-Oct-2023 12:46 11K stex-manual.pdf 29-Mar-2023 13:54 728K stex-tutorial.pdf 29-Mar-2023 13:53 3M