turn LaTeX warning into error, for the sake of isabelle.sty/bbbfont;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE2cc9bd9a7357: discontinue fragile check in LaTeX, e.g. problems with toc entries;
- Branches
- Unknown
- Tags