NEWS;

--- a/NEWS	Thu Dec 14 11:24:26 2017 +0100
+++ b/NEWS	Thu Dec 14 11:38:20 2017 +0100
@@ -165,6 +165,10 @@
 * Update to current Poly/ML 5.7.1 with slightly improved performance and
 PIDE markup for identifier bindings.
 
+* ISABELLE_LATEX and ISABELLE_PDFLATEX now include platform-specific
+options for improved error reporting. Potential INCOMPATIBILITY with
+unusual LaTeX installations, may have to adapt these settings.
+
 
 
 New in Isabelle2017 (October 2017)