--- 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
--- 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 "> " "# ";