# HG changeset patch
# User wenzelm
# Date 1249998793 -7200
# Node ID 141e5151b918665ec88271220b6d59d9d26b8b75
# Parent  79b5b3031c873423ae98fb7a2703a7d219475c27
clarified situation about unidentified repository versions -- in a distributed setting there is not "the" repository;

diff -r 79b5b3031c87 -r 141e5151b918 Admin/makedist
--- a/Admin/makedist	Tue Aug 11 10:58:36 2009 +0200
+++ b/Admin/makedist	Tue Aug 11 15:53:13 2009 +0200
@@ -165,8 +165,8 @@
 perl -pi -e "s,val changelog = \"\",val changelog = \"$REPOS/log/$IDENT\",g" src/Pure/ROOT.ML
 perl -pi -e "s,ISABELLE_IDENTIFIER=\"\",ISABELLE_IDENTIFIER=\"$DISTNAME\",g" lib/scripts/getsettings
 perl -pi -e "s,{ISABELLE},$DISTNAME,g" lib/html/library_index_header.template
-perl -pi -e "s,Isabelle repository version,$DISTVERSION,g" src/Pure/ROOT.ML lib/Tools/version
-perl -pi -e "s,the internal repository version of Isabelle,$DISTVERSION,g" README
+perl -pi -e "s,unidentified repository version,$DISTVERSION,g" src/Pure/ROOT.ML lib/Tools/version
+perl -pi -e "s,some unidentified repository version of Isabelle,$DISTVERSION,g" README
 
 
 # create archives
diff -r 79b5b3031c87 -r 141e5151b918 README
--- a/README	Tue Aug 11 10:58:36 2009 +0200
+++ b/README	Tue Aug 11 15:53:13 2009 +0200
@@ -2,7 +2,7 @@
 
 Version information
 
-   This is the internal repository version of Isabelle.
+   This is some unidentified repository version of Isabelle.
 
    See the NEWS file in the distribution for details on user-relevant
    changes.
diff -r 79b5b3031c87 -r 141e5151b918 README_REPOSITORY
--- a/README_REPOSITORY	Tue Aug 11 10:58:36 2009 +0200
+++ b/README_REPOSITORY	Tue Aug 11 15:53:13 2009 +0200
@@ -208,8 +208,8 @@
     two-dimensional presentation too much.
 
 
-Building Isabelle from the repository version
----------------------------------------------
+Building a repository version of Isabelle
+-----------------------------------------
 
 Compared to a proper distribution or development snapshot, a
 repository version of Isabelle lacks textual version identifiers in
diff -r 79b5b3031c87 -r 141e5151b918 lib/Tools/version
--- a/lib/Tools/version	Tue Aug 11 10:58:36 2009 +0200
+++ b/lib/Tools/version	Tue Aug 11 15:53:13 2009 +0200
@@ -4,5 +4,4 @@
 #
 # DESCRIPTION: display Isabelle version
 
-
-echo 'Isabelle repository version'    # filled in automatically!
+echo 'unidentified repository version'    # filled in automatically!
diff -r 79b5b3031c87 -r 141e5151b918 src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Tue Aug 11 10:58:36 2009 +0200
+++ b/src/Pure/ROOT.ML	Tue Aug 11 15:53:13 2009 +0200
@@ -2,7 +2,7 @@
 
 structure Distribution =     (*filled-in by makedist*)
 struct
-  val version = "Isabelle repository version";
+  val version = "unidentified repository version";
   val is_official = false;
   val changelog = "";
 end;