search

KWARC / LaTeXML

LaTeXML is a TeX and LaTeX to XML translator.
Other
4 stars 0 forks source link

\text fix #8

Closed angerhang closed 9 years ago

angerhang commented 9 years ago

See https://github.com/KWARC/sTeX/issues/74 for detail

kohlhase commented 9 years ago

merged, thanks.

dginev commented 9 years ago

Merging this was a bit premature. While the OpenMath.pm change definitely looks good, I feel uneasy about the Post.pm change. Why was that necessary @angerhang ?

kohlhase commented 9 years ago

Sorry about this,