changeset 34475 | f963335dbc6b |
parent 34468 | 9d4b4f290676 |
child 34487 | b88ee385308d |
34474:5f078db3cfc5 | 34475:f963335dbc6b |
---|---|
43 |
43 |
44 // plugin instance |
44 // plugin instance |
45 var plugin: Plugin = null |
45 var plugin: Plugin = null |
46 |
46 |
47 // provers |
47 // provers |
48 def prover(buffer: JEditBuffer) = plugin.prover_setup(buffer).get.prover |
48 def prover_setup(buffer: JEditBuffer) = plugin.prover_setup(buffer) |
49 def prover_setup(buffer: JEditBuffer) = plugin.prover_setup(buffer).get |
|
50 } |
49 } |
51 |
50 |
52 |
51 |
53 class Plugin extends EBPlugin { |
52 class Plugin extends EBPlugin { |
54 |
53 |