1.1 --- a/test/Tools/isac/Interpret/script.sml Wed Oct 05 10:51:25 2016 +0200
1.2 +++ b/test/Tools/isac/Interpret/script.sml Wed Oct 05 13:09:54 2016 +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 @@ -239,7 +239,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 @@ -479,7 +479,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 @@ -522,7 +522,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);