src/Pure/ROOT.ML
changeset 4986 d4f257d3445a
parent 4978 f14ec8ec1db1
child 4991 d7d525466221
     1.1 --- a/src/Pure/ROOT.ML	Thu May 28 17:21:52 1998 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Fri May 29 13:49:50 1998 +0200
     1.3 @@ -3,12 +3,11 @@
     1.4      Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     1.5      Copyright   1993  University of Cambridge
     1.6  
     1.7 -Root file for Pure Isabelle: all modules in proper order for loading.
     1.8 -Loads Pure Isabelle into an empty ML database (see also README).
     1.9 +Root file for Pure Isabelle.
    1.10  *)
    1.11  
    1.12  val banner = "Pure Isabelle";
    1.13 -val version = "Internal working version of Isabelle";
    1.14 +val version = "Isabelle repository";
    1.15  
    1.16  print_depth 1;
    1.17  ml_prompts "> " "# ";