equal
deleted
inserted
replaced
5 */ |
5 */ |
6 |
6 |
7 package isabelle.jedit |
7 package isabelle.jedit |
8 |
8 |
9 |
9 |
10 import isabelle.prover.{Prover, Command} |
|
11 import isabelle.renderer.UserAgent |
|
12 |
|
13 import org.w3c.dom.Document |
10 import org.w3c.dom.Document |
14 |
11 |
15 import org.gjt.sp.jedit.{jEdit, EBMessage, EBPlugin, Buffer, EditPane, View} |
12 import org.gjt.sp.jedit.{Buffer, View} |
16 import org.gjt.sp.jedit.buffer.JEditBuffer |
|
17 import org.gjt.sp.jedit.msg.{EditPaneUpdate, PropertiesChanged} |
|
18 |
13 |
19 import javax.swing.{JTextArea, JScrollPane} |
14 import javax.swing.JTextArea |
|
15 |
|
16 import isabelle.prover.Prover |
20 |
17 |
21 |
18 |
22 class ProverSetup(buffer: Buffer) |
19 class ProverSetup(buffer: Buffer) |
23 { |
20 { |
24 var prover: Prover = null |
21 var prover: Prover = null |