Name	Name	Last commit message	Last commit date
Latest commit clange LuaTeX compatibility Oct 28, 2019 efa25b7 · Oct 28, 2019 History 24 Commits
.gitignore	.gitignore	ignoring backups and Emacs auto/ directory	Oct 3, 2013
LICENSE	LICENSE	using LPPL	Oct 3, 2013
README.md	README.md	Initial commit	Oct 3, 2013
clange-cref.sty	clange-cref.sty	adding project URL	Oct 3, 2013
lstsemantic.sty	lstsemantic.sty	added DataProperty to OWL Manchester	Dec 18, 2015
pmisabelle.sty	pmisabelle.sty	some code documentation	Oct 26, 2013
unicode-chars.sty	unicode-chars.sty	LuaTeX compatibility	Oct 28, 2019