equal
deleted
inserted
replaced
35 status match { |
35 status match { |
36 case Query_Operation.Status.WAITING => |
36 case Query_Operation.Status.WAITING => |
37 process_indicator.update("Waiting for evaluation of context ...", 5) |
37 process_indicator.update("Waiting for evaluation of context ...", 5) |
38 case Query_Operation.Status.RUNNING => |
38 case Query_Operation.Status.RUNNING => |
39 process_indicator.update("Running find operation ...", 15) |
39 process_indicator.update("Running find operation ...", 15) |
40 case _ => |
40 case Query_Operation.Status.FINISHED => |
41 process_indicator.update(null, 0) |
41 process_indicator.update(null, 0) |
42 } |
42 } |
43 } |
43 } |
44 |
44 |
45 private val find_theorems = |
45 private val find_theorems = |