emacs mode
It would be great, if smglom_debug
had an "emacs mode" (e.g. triggered with an option), where format of the errors is
/Users/kohlhase/localmh/MathHub/smglom/calculus/source/series.de.tex:18:
instead of
/Users/kohlhase/localmh/MathHub/smglom/calculus/source/series.de.tex at 18:3:
And we always need a line number, so e.g.
/Users/kohlhase/localmh/MathHub/smglom/calculus/source/metric-space.tex: No module alignment provided
should be changed to
/Users/kohlhase/localmh/MathHub/smglom/calculus/source/metric-space.tex:1: No module alignment provided
This would simplify work considerably