# HG changeset patch
# User wenzelm
# Date 896442590 -7200
# Node ID d4f257d3445aee65bf78735c94b182410738871e
# Parent  aaaf64da9e3adfcedd01427482f8717059a23dc1
tuned msgs;

diff -r aaaf64da9e3a -r d4f257d3445a Admin/makedist
--- a/Admin/makedist	Thu May 28 17:21:52 1998 +0200
+++ b/Admin/makedist	Fri May 29 13:49:50 1998 +0200
@@ -149,8 +149,8 @@
   } >UNOFFICIAL
 fi
 
-perl -pi -e "s/Internal working version of Isabelle/$DISTVERSION/" src/Pure/ROOT.ML
-perl -pi -e "s/an internal working version of Isabelle/$DISTVERSION/" README.html
+perl -pi -e "s/Isabelle repository/$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 aaaf64da9e3a -r d4f257d3445a src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Thu May 28 17:21:52 1998 +0200
+++ b/src/Pure/ROOT.ML	Fri May 29 13:49:50 1998 +0200
@@ -3,12 +3,11 @@
     Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     Copyright   1993  University of Cambridge
 
-Root file for Pure Isabelle: all modules in proper order for loading.
-Loads Pure Isabelle into an empty ML database (see also README).
+Root file for Pure Isabelle.
 *)
 
 val banner = "Pure Isabelle";
-val version = "Internal working version of Isabelle";
+val version = "Isabelle repository";
 
 print_depth 1;
 ml_prompts "> " "# ";