# HG changeset patch
# User wenzelm
# Date 1335989159 -7200
# Node ID 4e9c06c194d972335cabe962b2f643664310879c
# Parent  d9a09f965dab62653a33ea7b8a52c7a0b59b32d7
back to post-release mode -- after fork point;

diff -r d9a09f965dab -r 4e9c06c194d9 Admin/makedist
--- a/Admin/makedist	Wed May 02 21:55:13 2012 +0200
+++ b/Admin/makedist	Wed May 02 22:05:59 2012 +0200
@@ -4,7 +4,7 @@
 
 ## global settings
 
-REPOS_NAME="isabelle-release"
+REPOS_NAME="isabelle"
 REPOS="${REPOS:-http://isabelle.in.tum.de/repos/${REPOS_NAME}}"
 DISTPREFIX="${DISTPREFIX:-$HOME/tmp/isadist}"
 
diff -r d9a09f965dab -r 4e9c06c194d9 CONTRIBUTORS
--- a/CONTRIBUTORS	Wed May 02 21:55:13 2012 +0200
+++ b/CONTRIBUTORS	Wed May 02 22:05:59 2012 +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 Isabelle2012
 -----------------------------
 
diff -r d9a09f965dab -r 4e9c06c194d9 NEWS
--- a/NEWS	Wed May 02 21:55:13 2012 +0200
+++ b/NEWS	Wed May 02 22:05:59 2012 +0200
@@ -1,6 +1,10 @@
 Isabelle NEWS -- history user-relevant changes
 ==============================================
 
+New in this Isabelle version
+----------------------------
+
+
 New in Isabelle2012 (May 2012)
 ------------------------------