NEWS

--- a/NEWS	Wed Sep 14 23:15:00 2005 +0200
+++ b/NEWS	Wed Sep 14 23:31:09 2005 +0200
@@ -1,8 +1,8 @@
 Isabelle NEWS -- history user-relevant changes
 ==============================================
 
-New in this Isabelle release
-----------------------------
+New in Isabelle2005 (September 2005)
+------------------------------------
 
 *** General ***