search

slatex / LaTeXML-Plugin-sTeX

A LaTeXML Plugin for Semantic LaTeX (sTeX)
LaTeX Project Public License v1.3c
2 stars 3 forks source link

MMT #138

Closed kohlhase closed 4 years ago

kohlhase commented 4 years ago

this goes in cleanly and conserves work we have done earlier.