1.1 --- a/src/sml/ROOT.ML	Mon Feb 14 17:19:42 2005 +0100
     1.2 +++ b/src/sml/ROOT.ML	Tue Feb 15 10:32:34 2005 +0100
     1.3 @@ -75,7 +75,7 @@
     1.4  
     1.5  *)
     1.6  
     1.7 -  val version_kernel = "sml-050214a-intermediateSteps";
     1.8 +  val version_kernel = "sml-050215a-intermediateSteps";
     1.9  
    1.10    print_depth 3; 
    1.11