# HG changeset patch
# User wenzelm
# Date 1275925172 -7200
# Node ID 22757d15cd863151554a0165ed956f311d87a21c
# Parent  7b0ccc20cddc26edde73d341beeeffd4a6b702e3
back to non-release mode;

diff -r 7b0ccc20cddc -r 22757d15cd86 CONTRIBUTORS
--- a/CONTRIBUTORS	Mon Jun 07 17:13:36 2010 +0200
+++ b/CONTRIBUTORS	Mon Jun 07 17:39:32 2010 +0200
@@ -3,6 +3,10 @@
 who is listed as an author in one of the source files of this Isabelle
 distribution.
 
+Contributions to this Isabelle version
+--------------------------------------
+
+
 Contributions to Isabelle2009-2
 --------------------------------------
 
diff -r 7b0ccc20cddc -r 22757d15cd86 NEWS
--- a/NEWS	Mon Jun 07 17:13:36 2010 +0200
+++ b/NEWS	Mon Jun 07 17:39:32 2010 +0200
@@ -1,6 +1,11 @@
 Isabelle NEWS -- history user-relevant changes
 ==============================================
 
+New in this Isabelle version
+----------------------------
+
+
+
 New in Isabelle2009-2 (June 2010)
 ---------------------------------