# HG changeset patch
# User wenzelm
# Date 1429471610 -7200
# Node ID b11401808dac66549afe5ed9df431291350007f3
# Parent  ff997935a6544fdcf3aa0d53f13ab29668d1ca64
back to post-release mode -- after fork point;

diff -r ff997935a654 -r b11401808dac CONTRIBUTORS
--- a/CONTRIBUTORS	Sun Apr 19 19:46:44 2015 +0200
+++ b/CONTRIBUTORS	Sun Apr 19 21:26:50 2015 +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 Isabelle2015
 -----------------------------
 
diff -r ff997935a654 -r b11401808dac NEWS
--- a/NEWS	Sun Apr 19 19:46:44 2015 +0200
+++ b/NEWS	Sun Apr 19 21:26:50 2015 +0200
@@ -3,6 +3,10 @@
 
 (Note: Isabelle/jEdit shows a tree-view of this file in Sidekick.)
 
+New in this Isabelle version
+----------------------------
+
+
 
 New in Isabelle2015 (May 2015)
 ------------------------------