NEWS

--- a/NEWS	Thu Dec 31 20:57:00 2015 +0100
+++ b/NEWS	Thu Dec 31 21:06:09 2015 +0100
@@ -4,8 +4,8 @@
 (Note: Isabelle/jEdit shows a tree-view of this file in Sidekick.)
 
 
-New in this Isabelle version
-----------------------------
+New in Isabelle2016 (February 2015)
+-----------------------------------
 
 *** General ***