etc/settings

--- 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