equal
deleted
inserted
replaced
210 }) |
210 }) |
211 } |
211 } |
212 |
212 |
213 def finished_theory(name: Document.Node.Name): Boolean = |
213 def finished_theory(name: Document.Node.Name): Boolean = |
214 loaded_theory(name) || |
214 loaded_theory(name) || |
215 already_committed1.isDefinedAt(name) || |
215 (if (commit.isDefined) already_committed1.isDefinedAt(name) |
216 state.node_consolidated(version, name) |
216 else state.node_consolidated(version, name)) |
217 |
217 |
218 val result1 = |
218 val result1 = |
219 if (!finished_result && |
219 if (!finished_result && |
220 (beyond_limit || watchdog || |
220 (beyond_limit || watchdog || |
221 dep_graph.keys_iterator.forall(name => |
221 dep_graph.keys_iterator.forall(name => |