1.1 --- a/src/Tools/isac/Frontend/interface.sml	Fri May 08 16:16:39 2015 +0200
     1.2 +++ b/src/Tools/isac/Frontend/interface.sml	Mon May 18 13:17:03 2015 +0200
     1.3 @@ -190,7 +190,8 @@
     1.4  	   fetchproposedtacticERROR2xml cI "end-of-calculation")
     1.5      handle _ => sysERROR2xml cI "error in kernel";
     1.6  
     1.7 -(*datatype auto = FIXXXME040624: does NOT match interfaces/ITOCalc.java
     1.8 +(*original see ~~/src/Tools/isac/Interpret/solve.sml:
     1.9 +  datatype auto = FIXXXME040624: does NOT match interfaces/ITOCalc.java
    1.10    Step of int      (*1 do #int steps (may stop in model/specify)
    1.11  		     IS VERY INEFFICIENT IN MODEL/SPECIY*)
    1.12  | CompleteModel    (*2 complete modeling

     2.1 --- a/src/Tools/isac/Interpret/solve.sml	Fri May 08 16:16:39 2015 +0200
     2.2 +++ b/src/Tools/isac/Interpret/solve.sml	Mon May 18 13:17:03 2015 +0200
     2.3 @@ -367,7 +367,8 @@
     2.4  	         | _ => nxt_solv tac_ is ptp end;
     2.5  
     2.6  (* says how may steps of a calculation should be done by "fun autocalc" *)
     2.7 -(*TODO.WN0512 redesign togehter with autocalc ?*)
     2.8 +(*FIXXXME040624: does NOT match interfaces/ITOCalc.java
     2.9 +  TODO.WN0512 redesign togehter with autocalc ?*)
    2.10  datatype auto = 
    2.11    Step of int      (*1 do #int steps; may stop in model/specify:
    2.12  		     IS VERY INEFFICIENT IN MODEL/SPECIY*)