Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. enforce full build;
  2. turn LaTeX warning into error, for the sake of isabelle.sty/bbbfont;
  3. discontinue fragile check in LaTeX, e.g. problems with toc entries;
Changeset 73475:4840ce456b4f by wenzelm:
enforce full build;
The file was modified src/Pure/ROOT.ML (diff)
Changeset 73474:4e12a6caefb3 by wenzelm:
turn LaTeX warning into error, for the sake of isabelle.sty/bbbfont;
The file was modified src/Pure/Thy/latex.scala (diff)
The file was modified src/Pure/Thy/presentation.scala (diff)
Changeset 73473:2cc9bd9a7357 by wenzelm:
discontinue fragile check in LaTeX, e.g. problems with toc entries;
The file was modified lib/texinputs/isabelle.sty (diff)
The file was modified lib/texinputs/isabellesym.sty (diff)