| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| README.md | 1.6 KiB | Sep 24, 2022 |
| semantex.pdf | 389.0 KiB | Jan 23, 2023 |
| semantex.sty | 293.6 KiB | Jan 23, 2023 |
| semantex.tex | 177.9 KiB | Jan 23, 2023 |
| stripsemantex.lua | 12.0 KiB | Sep 22, 2022 |
| stripsemantex.sty | 4.6 KiB | Jan 23, 2023 |