Document preparation engine updates
Document preparation
- 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.
- Projects
- None
- Subscribers
- None