1.1 --- a/src/Tools/isac/Frontend/states.sml	Thu Jun 05 18:10:46 2014 +0200
     1.2 +++ b/src/Tools/isac/Frontend/states.sml	Fri Jun 06 06:50:02 2014 +0200
     1.3 @@ -141,14 +141,6 @@
     1.4  type iterID = int;
     1.5  type calcID = int;
     1.6  
     1.7 -(*FIXME.WN.9.03: ev. resdesign calcstate + pos for CalcIterator
     1.8 -type state = 
     1.9 -     (*pos' *          set by the CalcIterator ---> for each user*)
    1.10 -     calcstate;       (*to which ev.included 'preview' tac_s could be applied*)
    1.11 -val e_state = (e_pos', e_calcstate):state;
    1.12 -val states = Unsynchronized.ref ([]:(iterID * (calcID * state) list) list);
    1.13 -*)
    1.14 -
    1.15  val states = Unsynchronized.ref
    1.16          ([]:(calcID * 
    1.17  	     (calcstate *