1.1 --- a/src/Pure/ROOT.ML Wed Oct 27 13:49:35 1993 +0100 1.2 +++ b/src/Pure/ROOT.ML Thu Oct 28 11:28:36 1993 +0100 1.3 @@ -12,7 +12,7 @@ 1.4 *) 1.5 1.6 val banner = "Pure Isabelle"; 1.7 -val version = "February 93"; 1.8 +val version = "October 93"; 1.9 1.10 print_depth 1; 1.11