NEWS

--- a/NEWS	Tue Jan 11 19:55:34 2011 +0100
+++ b/NEWS	Tue Jan 11 20:01:57 2011 +0100
@@ -1,8 +1,8 @@
 Isabelle NEWS -- history user-relevant changes
 ==============================================
 
-New in this Isabelle version
-----------------------------
+New in Isabelle2011 (January 2011)
+----------------------------------
 
 *** General ***