You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It would be super nice to have the definition submission make a
micro latex file to test that you didn't screw up, and show the user errors as
necessary.
In the absence of fixing on a per-definition basis, the export should at least report the
LaTeX output to the user. :P:P:P But: The errors don't tell you where you are without
grepping teh latex. -_-
The text was updated successfully, but these errors were encountered:
From rlpowell in #6:
The text was updated successfully, but these errors were encountered: