equal
deleted
inserted
replaced
20 import javax.swing.{JTextArea, JScrollPane} |
20 import javax.swing.{JTextArea, JScrollPane} |
21 |
21 |
22 |
22 |
23 class ProverSetup(buffer: JEditBuffer) |
23 class ProverSetup(buffer: JEditBuffer) |
24 { |
24 { |
25 val prover = new Prover(Isabelle.system) |
25 var prover: Prover = null |
26 var theory_view: TheoryView = null |
26 var theory_view: TheoryView = null |
27 |
27 |
28 val state_update = new EventBus[Command] |
28 val state_update = new EventBus[Command] |
29 |
29 |
30 private var _selected_state: Command = null |
30 private var _selected_state: Command = null |
32 def selected_state_=(state: Command) { _selected_state = state; state_update.event(state) } |
32 def selected_state_=(state: Command) { _selected_state = state; state_update.event(state) } |
33 |
33 |
34 val output_text_view = new JTextArea |
34 val output_text_view = new JTextArea |
35 |
35 |
36 def activate(view: View) { |
36 def activate(view: View) { |
37 prover.start(Isabelle.default_logic) |
37 prover = new Prover(Isabelle.system, Isabelle.default_logic) |
38 |
38 |
39 val buffer = view.getBuffer |
39 val buffer = view.getBuffer |
40 val dir = buffer.getDirectory |
40 val dir = buffer.getDirectory |
41 |
41 |
42 theory_view = new TheoryView(view.getTextArea) |
42 theory_view = new TheoryView(view.getTextArea) |