Index of /texlive/devsrc/Master/texmf-dist/tex/latex/semantex

	Name	Last modified	Size	Description
	Parent Directory		-
	semantex.sty	2021-08-23 22:51	311K
	stripsemantex.lua	2020-10-03 23:48	12K
	stripsemantex.sty	2021-08-23 22:51	4.6K