--- a/src/Pure/ROOT.ML Mon Dec 15 14:14:06 1997 +0100
+++ b/src/Pure/ROOT.ML Mon Dec 15 14:40:13 1997 +0100
@@ -8,7 +8,7 @@
*)
val banner = "Pure Isabelle";
-val version = "Isabelle98: Jan 1998";
+val version = "Isabelle98: January 1998";
print_depth 1;