equal
deleted
inserted
replaced
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.Property("logic")) |
37 val logic = Isabelle.Property("logic") |
|
38 prover.start(if (logic != null) logic else Isabelle.system.getenv_strict("ISABELLE_LOGIC")) |
|
39 |
38 val buffer = view.getBuffer |
40 val buffer = view.getBuffer |
39 val dir = buffer.getDirectory |
41 val dir = buffer.getDirectory |
40 |
42 |
41 theory_view = new TheoryView(view.getTextArea) |
43 theory_view = new TheoryView(view.getTextArea) |
42 prover.set_document(theory_view, |
44 prover.set_document(theory_view, |