diff -r 21b83e8121aa -r 9f96e4da3064 NEWS
--- a/NEWS	Fri Oct 07 09:29:11 2016 +0200
+++ b/NEWS	Fri Oct 07 10:23:50 2016 +0200
@@ -4,8 +4,8 @@
 (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.)
 
 
-New in this Isabelle version
-----------------------------
+New in Isabelle2016-1 (December 2016)
+-------------------------------------
 
 *** General ***