1.1 --- a/src/Tools/isac/Interpret/solve.sml	Thu Nov 17 16:40:27 2016 +0100
     1.2 +++ b/src/Tools/isac/Interpret/solve.sml	Mon Nov 21 12:47:02 2016 +0100
     1.3 @@ -371,15 +371,15 @@
     1.4  (*FIXXXME040624: does NOT match interfaces/ITOCalc.java
     1.5    TODO.WN0512 redesign togehter with autocalc ?*)
     1.6  datatype auto = 
     1.7 -  Step of int      (*1 do #int steps; may stop in model/specify:
     1.8 -		     IS VERY INEFFICIENT IN MODEL/SPECIY*)
     1.9 +  Step of int      (*1 do #int steps (may stop in model/specify)
    1.10 +                       IS VERY INEFFICIENT IN MODEL/SPECIY                    *)
    1.11  | CompleteModel    (*2 complete modeling
    1.12 -                       if model complete, finish specifying + start solving*)
    1.13 -| CompleteCalcHead (*3 complete model/specify in one go + start solving*)
    1.14 +                       if model complete, finish specifying                   *)
    1.15 +| CompleteCalcHead (*3 complete model/specify in one go                       *)
    1.16  | CompleteToSubpbl (*4 stop at the next begin of a subproblem,
    1.17 -                       if none, complete the actual (sub)problem*)
    1.18 -| CompleteSubpbl   (*5 complete the actual (sub)problem (incl.ev.subproblems)*)
    1.19 -| CompleteCalc;    (*6 complete the calculation as a whole*)	
    1.20 +                       if none, complete the actual (sub)problem              *)
    1.21 +| CompleteSubpbl   (*5 complete the actual (sub)problem (incl.ev.subproblems) *)
    1.22 +| CompleteCalc;    (*6 complete the calculation as a whole                    *)
    1.23  
    1.24  fun autoord (Step _ ) = 1
    1.25    | autoord CompleteModel = 2