--- 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
--- 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.
--- 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
--- 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;
--- 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
}
--- 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.