Dear John,
I just noticed the following new problem with org-mime-htmlize. Here is
an example with the following natural deduction in Gentzen style
the words 48=-plain definitionremarkplain should not appear, but they
appear with any equation.png
It is maybe the fault of my configuration, but I except in the user.el,
I do not see where I can search… If you have some idea.
regards,
Joseph Vidal-Rosset