equal
deleted
inserted
replaced
151 val (ptp as (pt,p), tacis) = get_calc 1; get_pos 1 1; |
151 val (ptp as (pt,p), tacis) = get_calc 1; get_pos 1 1; |
152 |
152 |
153 (*8*) setNextTactic 1 (Apply_Method ["Test","solve_linear"]); |
153 (*8*) setNextTactic 1 (Apply_Method ["Test","solve_linear"]); |
154 (*ERROR.110620 <SETNEXTTACTIC>..<MESSAGE> end-of-calculation*) |
154 (*ERROR.110620 <SETNEXTTACTIC>..<MESSAGE> end-of-calculation*) |
155 val (ptp as (pt,p), tacis) = get_calc 1; get_pos 1 1; |
155 val (ptp as (pt,p), tacis) = get_calc 1; get_pos 1 1; |
156 is_complete_mod ptp; |
156 Specification.is_complete ptp; |
157 References.are_complete ptp; |
157 References.are_complete ptp; |
158 |
158 |
159 (*8*) autoCalculate 1 (Steps 1); refFormula 1 (get_pos 1 1); (*<---------------------- orig. test code*) |
159 (*8*) autoCalculate 1 (Steps 1); refFormula 1 (get_pos 1 1); (*<---------------------- orig. test code*) |
160 |
160 |
161 val (ptp as (pt,p), tacis) = get_calc 1; get_pos 1 1; (*<---------------------- orig. test code*) |
161 val (ptp as (pt,p), tacis) = get_calc 1; get_pos 1 1; (*<---------------------- orig. test code*) |