clarified situation about unidentified repository versions -- in a distributed setting there is not "the" repository;
authorwenzelm
Tue Aug 11 15:53:13 2009 +0200 (2009-08-11)
changeset 32361141e5151b918
parent 32360 79b5b3031c87
child 32364 40d952bd6d47
clarified situation about unidentified repository versions -- in a distributed setting there is not "the" repository;
Admin/makedist
README
README_REPOSITORY
lib/Tools/version
src/Pure/ROOT.ML
     1.1 --- a/Admin/makedist	Tue Aug 11 10:58:36 2009 +0200
     1.2 +++ b/Admin/makedist	Tue Aug 11 15:53:13 2009 +0200
     1.3 @@ -165,8 +165,8 @@
     1.4  perl -pi -e "s,val changelog = \"\",val changelog = \"$REPOS/log/$IDENT\",g" src/Pure/ROOT.ML
     1.5  perl -pi -e "s,ISABELLE_IDENTIFIER=\"\",ISABELLE_IDENTIFIER=\"$DISTNAME\",g" lib/scripts/getsettings
     1.6  perl -pi -e "s,{ISABELLE},$DISTNAME,g" lib/html/library_index_header.template
     1.7 -perl -pi -e "s,Isabelle repository version,$DISTVERSION,g" src/Pure/ROOT.ML lib/Tools/version
     1.8 -perl -pi -e "s,the internal repository version of Isabelle,$DISTVERSION,g" README
     1.9 +perl -pi -e "s,unidentified repository version,$DISTVERSION,g" src/Pure/ROOT.ML lib/Tools/version
    1.10 +perl -pi -e "s,some unidentified repository version of Isabelle,$DISTVERSION,g" README
    1.11  
    1.12  
    1.13  # create archives
     2.1 --- a/README	Tue Aug 11 10:58:36 2009 +0200
     2.2 +++ b/README	Tue Aug 11 15:53:13 2009 +0200
     2.3 @@ -2,7 +2,7 @@
     2.4  
     2.5  Version information
     2.6  
     2.7 -   This is the internal repository version of Isabelle.
     2.8 +   This is some unidentified repository version of Isabelle.
     2.9  
    2.10     See the NEWS file in the distribution for details on user-relevant
    2.11     changes.
     3.1 --- a/README_REPOSITORY	Tue Aug 11 10:58:36 2009 +0200
     3.2 +++ b/README_REPOSITORY	Tue Aug 11 15:53:13 2009 +0200
     3.3 @@ -208,8 +208,8 @@
     3.4      two-dimensional presentation too much.
     3.5  
     3.6  
     3.7 -Building Isabelle from the repository version
     3.8 ----------------------------------------------
     3.9 +Building a repository version of Isabelle
    3.10 +-----------------------------------------
    3.11  
    3.12  Compared to a proper distribution or development snapshot, a
    3.13  repository version of Isabelle lacks textual version identifiers in
     4.1 --- a/lib/Tools/version	Tue Aug 11 10:58:36 2009 +0200
     4.2 +++ b/lib/Tools/version	Tue Aug 11 15:53:13 2009 +0200
     4.3 @@ -4,5 +4,4 @@
     4.4  #
     4.5  # DESCRIPTION: display Isabelle version
     4.6  
     4.7 -
     4.8 -echo 'Isabelle repository version'    # filled in automatically!
     4.9 +echo 'unidentified repository version'    # filled in automatically!
     5.1 --- a/src/Pure/ROOT.ML	Tue Aug 11 10:58:36 2009 +0200
     5.2 +++ b/src/Pure/ROOT.ML	Tue Aug 11 15:53:13 2009 +0200
     5.3 @@ -2,7 +2,7 @@
     5.4  
     5.5  structure Distribution =     (*filled-in by makedist*)
     5.6  struct
     5.7 -  val version = "Isabelle repository version";
     5.8 +  val version = "unidentified repository version";
     5.9    val is_official = false;
    5.10    val changelog = "";
    5.11  end;