| changeset 67199 | 93600ca0c8d9 |
| parent 67194 | 1c0a6a957114 |
| child 67203 | 85784e16bec8 |
--- 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)