1.1 --- a/src/sml/ROOT.ML	Tue Feb 08 18:33:15 2005 +0100
     1.2 +++ b/src/sml/ROOT.ML	Thu Feb 10 15:08:40 2005 +0100
     1.3 @@ -75,7 +75,7 @@
     1.4  
     1.5  *)
     1.6  
     1.7 -  val version_kernel = "sml-050208b-interSteps";
     1.8 +  val version_kernel = "sml-050210a-before-asms";
     1.9  
    1.10    print_depth 3; 
    1.11  
    1.12 @@ -188,7 +188,8 @@
    1.13          use"ctree.sml";
    1.14         	use"calculate.sml"; 
    1.15          use"details.sml"; (*can notyet ackn. 'Rewrite_Set "cancel"' *);
    1.16 -       	use"root-equ.sml";  
    1.17 +       	use"root-equ.sml"; 
    1.18 +       	use"modspec.sml"; 
    1.19         	use"script.sml";   
    1.20        (* use"script_if.sml";   missing: is_rootequation_in*)
    1.21         	use"scriptnew.sml";     
    1.22 @@ -198,6 +199,7 @@
    1.23          use"auto-inform.sml";
    1.24  	use"tacis.sml";
    1.25  	use"me.sml";
    1.26 +	use"interface-xml.sml";
    1.27   	use"FE-interface.sml";     
    1.28   	(**)		       
    1.29        (*use"testdaten.sml"; no update after dropping 'errorBound'*)    

     2.1 --- a/src/sml/systest/ctree.sml	Tue Feb 08 18:33:15 2005 +0100
     2.2 +++ b/src/sml/systest/ctree.sml	Thu Feb 10 15:08:40 2005 +0100
     2.3 @@ -1,4 +1,4 @@
     2.4 -(* use"../systest/ctree.sml";
     2.5 +* use"../systest/ctree.sml";
     2.6     use"systest/ctree.sml";
     2.7     use"ctree.sml";
     2.8     *)
     2.9 @@ -66,8 +66,7 @@
    2.10  if (snd nxt)=End_Proof' andalso res="[x = 1]" then ()
    2.11  else raise error "new behaviour in test: miniscript with mini-subpbl";
    2.12  
    2.13 -writeln (pr_ptree pr_short pt);
    2.14 -writeln("result: "^((term2str o fst o (get_obj g_result pt)) []));
    2.15 + show_pt pt;
    2.16  
    2.17  
    2.18  "-------------- get_allpos' (from ptree above)--------------------";