# HG changeset patch
# User wenzelm
# Date 1406468648 -7200
# Node ID 987c9ceeaafd40ff14a3215ef53d223fbaacd4a8
# Parent  c0fd03d13d28954f6b7018f273b6edb17fcdeaf7
back to post-release mode -- after fork point;

diff -r c0fd03d13d28 -r 987c9ceeaafd CONTRIBUTORS
--- a/CONTRIBUTORS	Sun Jul 27 15:29:42 2014 +0200
+++ b/CONTRIBUTORS	Sun Jul 27 15:44:08 2014 +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 Isabelle2014
 -----------------------------
 
diff -r c0fd03d13d28 -r 987c9ceeaafd NEWS
--- a/NEWS	Sun Jul 27 15:29:42 2014 +0200
+++ b/NEWS	Sun Jul 27 15:44:08 2014 +0200
@@ -1,6 +1,11 @@
 Isabelle NEWS -- history of user-relevant changes
 =================================================
 
+New in this Isabelle version
+----------------------------
+
+
+
 New in Isabelle2014 (August 2014)
 ---------------------------------