NEWS;
authorwenzelm
Thu Dec 14 11:38:20 2017 +0100 (17 months ago)
changeset 6719993600ca0c8d9
parent 67198 694f29a5433b
child 67200 d49727160f0a
NEWS;
NEWS
     1.1 --- a/NEWS	Thu Dec 14 11:24:26 2017 +0100
     1.2 +++ b/NEWS	Thu Dec 14 11:38:20 2017 +0100
     1.3 @@ -165,6 +165,10 @@
     1.4  * Update to current Poly/ML 5.7.1 with slightly improved performance and
     1.5  PIDE markup for identifier bindings.
     1.6  
     1.7 +* ISABELLE_LATEX and ISABELLE_PDFLATEX now include platform-specific
     1.8 +options for improved error reporting. Potential INCOMPATIBILITY with
     1.9 +unusual LaTeX installations, may have to adapt these settings.
    1.10 +
    1.11  
    1.12  
    1.13  New in Isabelle2017 (October 2017)