Summary
- suppress ligatures more robustly, notably for lualatex;
- ISABELLE_PDFLATEX is now lualatex; tuned whitespace to enforce fresh build;
The file was modified | src/Doc/Prog_Prove/Logic.thy (diff) |
The file was modified | src/Pure/Thy/latex.ML (diff) |
The file was modified | NEWS (diff) |
The file was modified | etc/settings (diff) |
The file was modified | src/Pure/PIDE/protocol.ML (diff) |