--- a/etc/settings Tue May 18 16:01:01 2021 +0200
+++ b/etc/settings Tue May 18 16:15:19 2021 +0200
@@ -65,12 +65,12 @@
###
if [ "$ISABELLE_PLATFORM_FAMILY" = "windows" ]; then
- ISABELLE_PDFLATEX="pdflatex -c-style-errors"
+ ISABELLE_PDFLATEX="pdflatex -interaction=nonstopmode -c-style-errors"
else
- ISABELLE_PDFLATEX="pdflatex -file-line-error"
+ ISABELLE_PDFLATEX="pdflatex -interaction=nonstopmode -file-line-error"
fi
-ISABELLE_LUALATEX="lualatex --file-line-error"
+ISABELLE_LUALATEX="lualatex --interaction=nonstopmode --file-line-error"
ISABELLE_BIBTEX="bibtex"
ISABELLE_MAKEINDEX="makeindex"
ISABELLE_EPSTOPDF="epstopdf"