1.1 --- a/test/Tools/isac/Interpret/me.sml	Fri Jun 13 12:06:38 2014 +0200
     1.2 +++ b/test/Tools/isac/Interpret/me.sml	Fri Jun 13 12:42:15 2014 +0200
     1.3 @@ -34,7 +34,7 @@
     1.4  	   "solveFor x","solutions L"], 
     1.5    ("RatEq",["univariate","equation"],["no_met"]))];
     1.6  Iterator 1; moveActiveRoot 1;
     1.7 -autoCalculate 1 CompleteCalc; 
     1.8 +autoCalculate' 1 CompleteCalc; 
     1.9  
    1.10  getTactic 1 ([1],Res);(*Rewrite_Set RatEq_simplify*)
    1.11  getTactic 1 ([2],Res);(*Rewrite_Set norm_Rational*)
    1.12 @@ -228,7 +228,7 @@
    1.13  	   "solveFor x","solutions L"], 
    1.14    ("RatEq",["univariate","equation"],["no_met"]))];
    1.15  Iterator 1; moveActiveRoot 1;
    1.16 -autoCalculate 1 CompleteCalc; 
    1.17 +autoCalculate' 1 CompleteCalc; 
    1.18  val ((pt,_),_) = get_calc 1;
    1.19  val p = get_pos 1 1;
    1.20  val (Form f, tac, asms) = pt_extract (pt, p);
    1.21 @@ -384,27 +384,27 @@
    1.22   Iterator 1; moveActiveRoot 1;
    1.23  
    1.24  (* 
    1.25 - autoCalculate 1 CompleteCalcHead;
    1.26 - autoCalculate 1 (Step 1); 
    1.27 + autoCalculate' 1 CompleteCalcHead;
    1.28 + autoCalculate' 1 (Step 1); 
    1.29   refFormula 1 (get_pos 1 1); 
    1.30  
    1.31  ... works 
    1.32  
    1.33 - autoCalculate 1 CompleteCalcHead;
    1.34 + autoCalculate' 1 CompleteCalcHead;
    1.35   fetchProposedTactic 1; (*-> Apply_Method*);
    1.36   setNextTactic 1 (Apply_Method ["Test","solve_linear"]);
    1.37 - autoCalculate 1 (Step 1); 
    1.38 + autoCalculate' 1 (Step 1); 
    1.39   refFormula 1 (get_pos 1 1); 
    1.40  
    1.41  ... works *)
    1.42  
    1.43 - autoCalculate 1 (Step 1); 
    1.44 + autoCalculate' 1 (Step 1); 
    1.45   refFormula 1 (get_pos 1 1);
    1.46  
    1.47 - autoCalculate 1 CompleteModel;
    1.48 + autoCalculate' 1 CompleteModel;
    1.49   refFormula 1 (get_pos 1 1);
    1.50  
    1.51 - autoCalculate 1 CompleteCalcHead;
    1.52 + autoCalculate' 1 CompleteCalcHead;
    1.53  (* *** complete_mod: only impl.for Pbl, called with ([], Met) FIXXXXXXXXXXME*)
    1.54  
    1.55