1.1 --- a/src/Tools/isac/Interpret/solve.sml	Fri May 08 16:16:39 2015 +0200
     1.2 +++ b/src/Tools/isac/Interpret/solve.sml	Mon May 18 13:17:03 2015 +0200
     1.3 @@ -367,7 +367,8 @@
     1.4  	         | _ => nxt_solv tac_ is ptp end;
     1.5  
     1.6  (* says how may steps of a calculation should be done by "fun autocalc" *)
     1.7 -(*TODO.WN0512 redesign togehter with autocalc ?*)
     1.8 +(*FIXXXME040624: does NOT match interfaces/ITOCalc.java
     1.9 +  TODO.WN0512 redesign togehter with autocalc ?*)
    1.10  datatype auto = 
    1.11    Step of int      (*1 do #int steps; may stop in model/specify:
    1.12  		     IS VERY INEFFICIENT IN MODEL/SPECIY*)