src/Pure/ROOT.ML
changeset 11835 13d12b99b843
parent 11759 56c80e542e44
child 11882 954f36537193
     1.1 --- a/src/Pure/ROOT.ML	Thu Oct 18 21:27:47 2001 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Fri Oct 19 12:17:04 2001 +0200
     1.3 @@ -7,7 +7,8 @@
     1.4  *)
     1.5  
     1.6  val banner = "Pure Isabelle";
     1.7 -val version = "Isabelle repository";
     1.8 +val version = "Isabelle repository version";    (*filled in automatically!*)
     1.9 +
    1.10  
    1.11  print_depth 1;
    1.12