--- a/NEWS Sat Sep 26 18:59:12 2020 +0200
+++ b/NEWS Sun Sep 27 17:02:59 2020 +0200
@@ -32,15 +32,20 @@
*** 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.
+
* Antiquotation @{bash_function} refers to GNU bash functions that are
checked within the Isabelle settings environment.
* Antiquotations @{scala}, @{scala_object}, @{scala_type},
@{scala_method} refer to checked Isabelle/Scala entities.
-* Discontinued obsolete DVI format and ISABELLE_LATEX settings variable:
-document output is always PDF.
-
*** Pure ***
--- a/etc/settings Sat Sep 26 18:59:12 2020 +0200
+++ b/etc/settings Sun Sep 27 17:02:59 2020 +0200
@@ -59,15 +59,11 @@
### Document preparation (cf. isabelle latex/document)
###
-ISABELLE_PDFLATEX="pdflatex -file-line-error"
+ISABELLE_PDFLATEX="lualatex --file-line-error"
ISABELLE_BIBTEX="bibtex"
ISABELLE_MAKEINDEX="makeindex"
ISABELLE_EPSTOPDF="epstopdf"
-if [ "$ISABELLE_PLATFORM_FAMILY" = "windows" ]; then
- ISABELLE_PDFLATEX="pdflatex -c-style-errors"
-fi
-
###
### Misc path settings
--- a/src/Pure/PIDE/protocol.ML Sat Sep 26 18:59:12 2020 +0200
+++ b/src/Pure/PIDE/protocol.ML Sun Sep 27 17:02:59 2020 +0200
@@ -182,4 +182,3 @@
(fn [] => ML_Heap.share_common_data ());
end;
-