Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | README.md | 1660 | logplain |
-rw-r--r-- | semantex.pdf | 385165 | logplain |
-rw-r--r-- | semantex.sty | 318470 | logplain |
-rw-r--r-- | semantex.tex | 178126 | logplain |
-rw-r--r-- | stripsemantex.lua | 12086 | logplain |
-rw-r--r-- | stripsemantex.sty | 4730 | logplain |