back to post-release mode;
authorwenzelm
Mon Sep 26 21:13:26 2011 +0200 (2011-09-26 ago)
changeset 4510920b3377b08d7
parent 45089 24ad77c3a147
child 45110 305f83b6da54
back to post-release mode;
Admin/makedist
CONTRIBUTORS
NEWS
     1.1 --- a/Admin/makedist	Mon Sep 26 21:09:28 2011 +0200
     1.2 +++ b/Admin/makedist	Mon Sep 26 21:13:26 2011 +0200
     1.3 @@ -4,7 +4,7 @@
     1.4  
     1.5  ## global settings
     1.6  
     1.7 -REPOS_NAME="isabelle-release"
     1.8 +REPOS_NAME="isabelle"
     1.9  REPOS="http://isabelle.in.tum.de/repos/${REPOS_NAME}"
    1.10  
    1.11  DISTPREFIX=${DISTPREFIX:-~/tmp/isadist}
     2.1 --- a/CONTRIBUTORS	Mon Sep 26 21:09:28 2011 +0200
     2.2 +++ b/CONTRIBUTORS	Mon Sep 26 21:13:26 2011 +0200
     2.3 @@ -3,6 +3,10 @@
     2.4  who is listed as an author in one of the source files of this Isabelle
     2.5  distribution.
     2.6  
     2.7 +Contributions to this Isabelle version
     2.8 +--------------------------------------
     2.9 +
    2.10 +
    2.11  Contributions to Isabelle2011-1
    2.12  -------------------------------
    2.13  
     3.1 --- a/NEWS	Mon Sep 26 21:09:28 2011 +0200
     3.2 +++ b/NEWS	Mon Sep 26 21:13:26 2011 +0200
     3.3 @@ -1,6 +1,11 @@
     3.4  Isabelle NEWS -- history user-relevant changes
     3.5  ==============================================
     3.6  
     3.7 +New in this Isabelle version
     3.8 +----------------------------
     3.9 +
    3.10 +
    3.11 +
    3.12  New in Isabelle2011-1 (October 2011)
    3.13  ------------------------------------
    3.14