--- a/NEWS Mon Nov 27 16:07:49 2017 +0100
+++ b/NEWS Mon Nov 27 15:10:50 2017 +0100
@@ -129,6 +129,10 @@
* Command-line tool "isabelle imports -I" also reports actual session
imports. This helps to minimize the session dependency graph.
+* Update to current Poly/ML 5.7.1 with slightly improved performance and
+PIDE markup for identifier bindings.
+
+
New in Isabelle2017 (October 2017)
----------------------------------
@@ -444,6 +448,7 @@
isabelle imports -M -a -d '~~/src/Benchmarks'
+
New in Isabelle2016-1 (December 2016)
-------------------------------------