# HG changeset patch
# User wenzelm
# Date 1380819670 -7200
# Node ID 5bf55a7132322536a2db735185319f998fda0b17
# Parent  c37100233af71af51b225a090317f9cbe05e70a1
back to post-release mode -- after fork point;

diff -r c37100233af7 -r 5bf55a713232 CONTRIBUTORS
--- a/CONTRIBUTORS	Thu Oct 03 16:32:33 2013 +0200
+++ b/CONTRIBUTORS	Thu Oct 03 19:01:10 2013 +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 Isabelle2013-1
 -------------------------------
 
diff -r c37100233af7 -r 5bf55a713232 NEWS
--- a/NEWS	Thu Oct 03 16:32:33 2013 +0200
+++ b/NEWS	Thu Oct 03 19:01:10 2013 +0200
@@ -1,6 +1,11 @@
 Isabelle NEWS -- history user-relevant changes
 ==============================================
 
+New in this Isabelle version
+----------------------------
+
+
+
 New in Isabelle2013-1 (November 2013)
 -------------------------------------