# HG changeset patch
# User wenzelm
# Date 1521110969 -3600
# Node ID 11e4060bcdcab05d3548111adf0b4492f5e65942
# Parent  ab0b8e388967ee000f7ca5b91426859de8960532
clarified message;

diff -r ab0b8e388967 -r 11e4060bcdca Admin/lib/Tools/makedist
--- a/Admin/lib/Tools/makedist	Thu Mar 15 11:44:07 2018 +0100
+++ b/Admin/lib/Tools/makedist	Thu Mar 15 11:49:29 2018 +0100
@@ -166,9 +166,9 @@
 perl -pi -e "s,ISABELLE_ID=\"\",ISABELLE_ID=\"$IDENT\",g" lib/scripts/getsettings
 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,unidentified repository version,$DISTVERSION,g" \
+perl -pi -e "s,repository version,$DISTVERSION,g" \
   src/Pure/System/distribution.ML src/Pure/System/distribution.scala lib/Tools/version
-perl -pi -e "s,some unidentified repository version of Isabelle,$DISTVERSION,g" README
+perl -pi -e "s,some repository version of Isabelle,$DISTVERSION,g" README
 
 mkdir -p contrib
 cat >contrib/README <<EOF
diff -r ab0b8e388967 -r 11e4060bcdca README
--- a/README	Thu Mar 15 11:44:07 2018 +0100
+++ b/README	Thu Mar 15 11:49:29 2018 +0100
@@ -2,7 +2,7 @@
 
 Version information
 
-   This is some unidentified repository version of Isabelle.
+   This is some repository version of Isabelle.
 
    See the NEWS file in the distribution for details on user-relevant
    changes.
diff -r ab0b8e388967 -r 11e4060bcdca lib/Tools/version
--- a/lib/Tools/version	Thu Mar 15 11:44:07 2018 +0100
+++ b/lib/Tools/version	Thu Mar 15 11:49:29 2018 +0100
@@ -63,5 +63,5 @@
     "${HG:-hg}" -R "$ISABELLE_HOME" id -i -r tip 2>/dev/null || echo undefined
   fi
 else
-  echo 'unidentified repository version'    # filled in automatically!
+  echo 'repository version'    # filled in automatically!
 fi
diff -r ab0b8e388967 -r 11e4060bcdca src/Pure/System/distribution.ML
--- a/src/Pure/System/distribution.ML	Thu Mar 15 11:44:07 2018 +0100
+++ b/src/Pure/System/distribution.ML	Thu Mar 15 11:49:29 2018 +0100
@@ -6,7 +6,7 @@
 
 structure Distribution =
 struct
-  val version = "unidentified repository version";
+  val version = "repository version";
   val is_identified = false;
   val is_official = false;
 end;
diff -r ab0b8e388967 -r 11e4060bcdca src/Pure/System/distribution.scala
--- a/src/Pure/System/distribution.scala	Thu Mar 15 11:44:07 2018 +0100
+++ b/src/Pure/System/distribution.scala	Thu Mar 15 11:49:29 2018 +0100
@@ -9,7 +9,7 @@
 
 object Distribution
 {
-  val version = "unidentified repository version"
+  val version = "repository version"
   val is_identified = false
   val is_official = false
 }
diff -r ab0b8e388967 -r 11e4060bcdca src/Tools/VSCode/extension/README.md
--- a/src/Tools/VSCode/extension/README.md	Thu Mar 15 11:44:07 2018 +0100
+++ b/src/Tools/VSCode/extension/README.md	Thu Mar 15 11:49:29 2018 +0100
@@ -1,7 +1,7 @@
 # Isabelle Prover IDE support
 
 This extension connects VSCode to the Isabelle Prover IDE infrastructure: it
-requires an unidentified repository version of Isabelle.
+requires a repository version of Isabelle.
 
 The implementation is centered around the VSCode Language Server protocol, but
 with many add-ons that are specific to VSCode and Isabelle/PIDE.