NEWS

--- a/NEWS	Wed Sep 07 20:29:54 2011 +0200
+++ b/NEWS	Wed Sep 07 20:49:45 2011 +0200
@@ -1,8 +1,8 @@
 Isabelle NEWS -- history user-relevant changes
 ==============================================
 
-New in this Isabelle version
-----------------------------
+New in Isabelle2011-1 (October 2011)
+------------------------------------
 
 *** General ***