| changeset 34464 | 8a1ba195247a |
| parent 34462 | fefbd0421e4e |
| child 34467 | c7d7a92fe3d5 |
| 34463:b510b7d88de2 | 34464:8a1ba195247a |
|---|---|
69 else |
69 else |
70 state_panel.setDocument(state.results_xml, UserAgent.baseURL) |
70 state_panel.setDocument(state.results_xml, UserAgent.baseURL) |
71 } |
71 } |
72 }) |
72 }) |
73 |
73 |
74 //register for theory-view |
|
75 |
|
76 // could also use this: |
|
77 // prover.commandInfo.add(c => Isabelle.theory_view.repaint(c.command)) |
|
78 |
|
79 } |
74 } |
80 |
75 |
81 def deactivate { |
76 def deactivate { |
82 theory_view.deactivate |
77 theory_view.deactivate |
83 prover.stop |
78 prover.stop |