--- 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}"
--- 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
-----------------------------
--- 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)
------------------------------