# HG changeset patch
# User wenzelm
# Date 1259923497 -3600
# Node ID 651028e34b5d82762f2bd9212d3b84f117d292df
# Parent  0a77b979e59326ab09c72c4961acca0220798245
back to after-release mode;

diff -r 0a77b979e593 -r 651028e34b5d CONTRIBUTORS
--- a/CONTRIBUTORS	Fri Dec 04 11:41:17 2009 +0100
+++ b/CONTRIBUTORS	Fri Dec 04 11:44:57 2009 +0100
@@ -3,6 +3,9 @@
 who is listed as an author in one of the source files of this Isabelle
 distribution.
 
+Contributions to this Isabelle version
+--------------------------------------
+
 
 Contributions to Isabelle2009-1
 -------------------------------
diff -r 0a77b979e593 -r 651028e34b5d NEWS
--- a/NEWS	Fri Dec 04 11:41:17 2009 +0100
+++ b/NEWS	Fri Dec 04 11:44:57 2009 +0100
@@ -1,6 +1,10 @@
 Isabelle NEWS -- history user-relevant changes
 ==============================================
 
+New in this Isabelle version
+----------------------------
+
+
 New in Isabelle2009-1 (December 2009)
 -------------------------------------