HomeIsabelle/Phabricator
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.

Written by makarius on Sep 27 2020, 9:21 PM.
User
Projects
None
Subscribers
None

Event Timeline