# HG changeset patch
# User wenzelm
# Date 1126733469 -7200
# Node ID f2773b6d4decd83efaf2dcf7226e7812ef6443f2
# Parent  4ef3da248c4825bd0035e553822f0b9e9959afac
tuned;

diff -r 4ef3da248c48 -r f2773b6d4dec 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 ***