diff -r 97d199699a6b -r e746db6db903 etc/settings
--- a/etc/settings	Fri Dec 08 23:43:58 2017 +0100
+++ b/etc/settings	Sun Dec 10 14:29:14 2017 +0100
@@ -46,12 +46,17 @@
 ### Document preparation (cf. isabelle latex/document)
 ###
 
-ISABELLE_LATEX="latex"
-ISABELLE_PDFLATEX="pdflatex"
+ISABELLE_LATEX="latex -file-line-error"
+ISABELLE_PDFLATEX="pdflatex -file-line-error"
 ISABELLE_BIBTEX="bibtex"
 ISABELLE_MAKEINDEX="makeindex"
 ISABELLE_EPSTOPDF="epstopdf"
 
+if [ "$ISABELLE_PLATFORM_FAMILY" = "windows" ]; then
+  ISABELLE_LATEX="latex -c-style-errors"
+  ISABELLE_PDFLATEX="pdflatex -c-style-errors"
+fi
+
 
 ###
 ### Misc path settings