Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. suppress ligatures more robustly, notably for lualatex;
  2. ISABELLE_PDFLATEX is now lualatex; tuned whitespace to enforce fresh build;
Changeset 72315:8162ca81ea8a by wenzelm:
suppress ligatures more robustly, notably for lualatex;
The file was modified src/Doc/Prog_Prove/Logic.thy (diff)
The file was modified src/Pure/Thy/latex.ML (diff)
Changeset 72314:684f14b1e7fc by wenzelm:
ISABELLE_PDFLATEX is now lualatex;<br>tuned whitespace to enforce fresh build;
The file was modified NEWS (diff)
The file was modified etc/settings (diff)
The file was modified src/Pure/PIDE/protocol.ML (diff)