# HG changeset patch
# User wenzelm
# Date 968949464 -7200
# Node ID 4a2ae974043df28b58176e6bb0636c13b8fd8c5b
# Parent  67f2920862c77739888149e4ca1f9c9b113797c8
"Isabelle repository version";

diff -r 67f2920862c7 -r 4a2ae974043d Admin/makedist
--- a/Admin/makedist	Thu Sep 14 17:46:00 2000 +0200
+++ b/Admin/makedist	Thu Sep 14 18:37:44 2000 +0200
@@ -182,7 +182,7 @@
 fi
 
 perl -pi -e "s/{ISABELLE}/$DISTNAME/g;" lib/html/index.html
-perl -pi -e "s/Isabelle repository/$DISTVERSION/" src/Pure/ROOT.ML
+perl -pi -e "s/Isabelle repository version/$DISTVERSION/" src/Pure/ROOT.ML
 perl -pi -e "s/the internal repository version of Isabelle/$DISTVERSION/" README.html
 lynx -dump README.html >README
 
diff -r 67f2920862c7 -r 4a2ae974043d src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Thu Sep 14 17:46:00 2000 +0200
+++ b/src/Pure/ROOT.ML	Thu Sep 14 18:37:44 2000 +0200
@@ -7,7 +7,7 @@
 *)
 
 val banner = "Pure Isabelle";
-val version = "Isabelle repository";
+val version = "Isabelle repository version";
 
 print_depth 1;