[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[   ]semantex.pdf2023-01-23 15:53 389K 
[TXT]stripsemantex.sty2023-01-23 15:52 4.6K 
[   ]semantex.sty2023-01-23 15:52 294K 
[   ]semantex.tex2023-01-23 15:34 178K 
[TXT]stripsemantex.lua2022-09-22 14:24 12K