# HG changeset patch
# User wenzelm
# Date 1295292051 -3600
# Node ID c78b786fe0607ed3317cac2fb4afe1b92101cc81
# Parent  54a4512e29a67e678889cc7f3d4963b60c89818c
back to post-release mode;

diff -r 54a4512e29a6 -r c78b786fe060 CONTRIBUTORS
--- a/CONTRIBUTORS	Mon Jan 17 18:32:16 2011 +0100
+++ b/CONTRIBUTORS	Mon Jan 17 20:20:51 2011 +0100
@@ -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 Isabelle2011
 -----------------------------
 
diff -r 54a4512e29a6 -r c78b786fe060 NEWS
--- a/NEWS	Mon Jan 17 18:32:16 2011 +0100
+++ b/NEWS	Mon Jan 17 20:20:51 2011 +0100
@@ -1,6 +1,11 @@
 Isabelle NEWS -- history user-relevant changes
 ==============================================
 
+New in this Isabelle version
+----------------------------
+
+
+
 New in Isabelle2011 (January 2011)
 ----------------------------------