Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
stripsemantex.sty | 2023-01-23 18:22 | 4.6K | ||
stripsemantex.lua | 2022-09-22 15:54 | 12K | ||
semantex.tex | 2023-01-23 18:04 | 178K | ||
semantex.sty | 2023-01-23 18:22 | 294K | ||
semantex.pdf | 2023-01-23 18:23 | 389K | ||
README.md | 2022-09-24 13:46 | 1.6K | ||