src/Pure/ROOT.ML

 
 Root file for Pure Isabelle.
 *)
 
 val banner = "Pure Isabelle";
-val version = "Isabelle repository";
+val version = "Isabelle repository version";    (*filled in automatically!*)
+
 
 print_depth 1;
 
 (*global flags*)
 val print_mode = ref ([]: string list);