Skip to content

Various small fixes to make pdflatex & allpdf run successfully.

Dominique Unruh requested to merge fixes-pdflatex into master

I removed all compilation errors that mmt build smglom/algebra pdflatex gives. Mostly by replacing references to undefined terms by \term{...} (which gives a warning instead of an error), sometimes by actually fixing broken code.

Merge request reports