Document preparation engine updates
- The standard LaTeX engine is now lualatex, according to settings variable ISABELLE_PDFLATEX. This is mostly upwards compatible with old pdflatex, but text encoding needs to conform strictly to utf8. Rare INCOMPATIBILITY.
- Discontinued obsolete DVI format and ISABELLE_LATEX settings variable: document output is always PDF.
This refers to Isabelle/684f14b1e7fc.
Written by makarius on Sep 27 2020, 9:21 PM.