| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| packages/ | - | Oct 16, 2023 |
| Makefile | 498 B | Mar 20, 2023 |
| stex-devel.tex | 67.6 KiB | Mar 20, 2023 |
| stex-tutorial.pdf | 3.3 MiB | Mar 29, 2023 |
| stex-manual.pdf | 728.3 KiB | Mar 29, 2023 |
| stex-doc.tex | 2.2 KiB | Sep 19, 2023 |
| stex-docheader.tex | 11.0 KiB | Oct 13, 2023 |
| stex-doc.pdf | 4.7 MiB | Oct 16, 2023 |