back to post-release mode -- after fork point;
authorwenzelm
Wed May 02 22:05:59 2012 +0200 (2012-05-02)
changeset 478874e9c06c194d9
parent 47862 d9a09f965dab
child 47888 45bf22d8a81d
back to post-release mode -- after fork point;
Admin/makedist
CONTRIBUTORS
NEWS
     1.1 --- a/Admin/makedist	Wed May 02 21:55:13 2012 +0200
     1.2 +++ b/Admin/makedist	Wed May 02 22:05:59 2012 +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="${REPOS:-http://isabelle.in.tum.de/repos/${REPOS_NAME}}"
    1.10  DISTPREFIX="${DISTPREFIX:-$HOME/tmp/isadist}"
    1.11  
     2.1 --- a/CONTRIBUTORS	Wed May 02 21:55:13 2012 +0200
     2.2 +++ b/CONTRIBUTORS	Wed May 02 22:05:59 2012 +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 Isabelle2012
    2.12  -----------------------------
    2.13  
     3.1 --- a/NEWS	Wed May 02 21:55:13 2012 +0200
     3.2 +++ b/NEWS	Wed May 02 22:05:59 2012 +0200
     3.3 @@ -1,6 +1,10 @@
     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  New in Isabelle2012 (May 2012)
    3.12  ------------------------------
    3.13