1.1 --- a/test/Tools/isac/Interpret/script.sml	Fri Jun 13 12:06:38 2014 +0200
     1.2 +++ b/test/Tools/isac/Interpret/script.sml	Fri Jun 13 12:42:15 2014 +0200
     1.3 @@ -190,9 +190,9 @@
     1.4     ["Test","squ-equ-test-subpbl1"]))];
     1.5  Iterator 1;
     1.6  moveActiveRoot 1;
     1.7 -autoCalculate 1 CompleteCalcHead;
     1.8 -autoCalculate 1 (Step 1);
     1.9 -autoCalculate 1 (Step 1);
    1.10 +autoCalculate' 1 CompleteCalcHead;
    1.11 +autoCalculate' 1 (Step 1);
    1.12 +autoCalculate' 1 (Step 1);
    1.13  val ((pt, p), _) = get_calc 1; show_pt pt;
    1.14  val appltacs = sel_appl_atomic_tacs pt p;
    1.15  if appltacs = 
    1.16 @@ -242,7 +242,7 @@
    1.17  (assoc_thy (get_obj g_domID pt (par_pblobj pt p)));
    1.18  assoc_thy;
    1.19  
    1.20 -autoCalculate 1 CompleteCalc;
    1.21 +autoCalculate' 1 CompleteCalc;
    1.22  
    1.23  "----------- fun init_form, fun get_stac -------------------------";
    1.24  "----------- fun init_form, fun get_stac -------------------------";
    1.25 @@ -482,7 +482,7 @@
    1.26      ["Test","squ-equ-test-subpbl1"]))];
    1.27   Iterator 1;
    1.28   moveActiveRoot 1;
    1.29 - autoCalculate 1 CompleteCalc;
    1.30 + autoCalculate' 1 CompleteCalc;
    1.31   val ((pt,_),_) = get_calc 1;
    1.32   show_pt pt;
    1.33  
    1.34 @@ -525,7 +525,7 @@
    1.35      ["Test","squ-equ-test-subpbl1"]))];
    1.36   Iterator 1;
    1.37   moveActiveRoot 1;
    1.38 - autoCalculate 1 CompleteCalc;
    1.39 + autoCalculate' 1 CompleteCalc;
    1.40  
    1.41  (*UC\label{SOLVE:MANUAL:TACTIC:listall} UC 30.3.2.2 p.175*)
    1.42   fetchApplicableTactics 1 99999 ([],Pbl);