equal
deleted
inserted
replaced
|
1 /* |
|
2 * Independent prover sessions for each buffer |
|
3 * |
|
4 * @author Fabian Immler, TU Munich |
|
5 */ |
|
6 |
|
7 package isabelle.jedit |
|
8 |
|
9 |
|
10 import org.gjt.sp.jedit.{Buffer, View} |
|
11 |
|
12 import isabelle.prover.Prover |
|
13 |
|
14 |
|
15 class ProverSetup(buffer: Buffer) |
|
16 { |
|
17 var prover: Prover = null |
|
18 var theory_view: TheoryView = null |
|
19 |
|
20 def activate(view: View) |
|
21 { |
|
22 // TheoryView starts prover |
|
23 theory_view = new TheoryView(view.getTextArea) |
|
24 prover = theory_view.prover |
|
25 |
|
26 theory_view.activate() |
|
27 prover.begin_document(buffer.getName) |
|
28 } |
|
29 |
|
30 def deactivate() |
|
31 { |
|
32 theory_view.deactivate |
|
33 prover.stop |
|
34 } |
|
35 } |