equal
deleted
inserted
replaced
147 calcstate; (*to which ev.included 'preview' tac_s could be applied*) |
147 calcstate; (*to which ev.included 'preview' tac_s could be applied*) |
148 val e_state = (e_pos', e_calcstate):state; |
148 val e_state = (e_pos', e_calcstate):state; |
149 val states = Unsynchronized.ref ([]:(iterID * (calcID * state) list) list); |
149 val states = Unsynchronized.ref ([]:(iterID * (calcID * state) list) list); |
150 *) |
150 *) |
151 |
151 |
152 val states = |
152 val states = Unsynchronized.ref |
153 ref ([]:(calcID * |
153 ([]:(calcID * |
154 (calcstate * |
154 (calcstate * |
155 (iterID * (*1 sets the 'active formula'*) |
155 (iterID * (*1 sets the 'active formula'*) |
156 pos' (*for iterator of a user *) |
156 pos' (*for iterator of a user *) |
157 ) list)) list); |
157 ) list)) list); |
158 (* |
158 (* |