NEWS
changeset 67099 3345d53e7c58
parent 67088 89e82aed7813
child 67119 acb0807ddb56
     1.1 --- a/NEWS	Mon Nov 27 16:07:49 2017 +0100
     1.2 +++ b/NEWS	Mon Nov 27 15:10:50 2017 +0100
     1.3 @@ -129,6 +129,10 @@
     1.4  * Command-line tool "isabelle imports -I" also reports actual session
     1.5  imports. This helps to minimize the session dependency graph.
     1.6  
     1.7 +* Update to current Poly/ML 5.7.1 with slightly improved performance and
     1.8 +PIDE markup for identifier bindings.
     1.9 +
    1.10 +
    1.11  
    1.12  New in Isabelle2017 (October 2017)
    1.13  ----------------------------------
    1.14 @@ -444,6 +448,7 @@
    1.15    isabelle imports -M -a -d '~~/src/Benchmarks'
    1.16  
    1.17  
    1.18 +
    1.19  New in Isabelle2016-1 (December 2016)
    1.20  -------------------------------------
    1.21