diff -r bfea7839d9e1 -r dc7f5e0d9d27 src/Tools/jEdit/src/jedit/plugin.scala
--- a/src/Tools/jEdit/src/jedit/plugin.scala	Tue Dec 08 14:49:01 2009 +0100
+++ b/src/Tools/jEdit/src/jedit/plugin.scala	Tue Dec 08 16:30:20 2009 +0100
@@ -3,6 +3,7 @@
  *
  * @author Johannes Hölzl, TU Munich
  * @author Fabian Immler, TU Munich
+ * @author Makarius
  */
 
 package isabelle.jedit
@@ -14,8 +15,7 @@
 
 import scala.collection.mutable
 
-import isabelle.prover.{Prover, Command}
-import isabelle.proofdocument.ProofDocument
+import isabelle.proofdocument.{Command, Proof_Document, Prover}
 import isabelle.Isabelle_System
 
 import org.gjt.sp.jedit.{jEdit, EBMessage, EBPlugin, Buffer, EditPane, ServiceManager, View}
@@ -98,12 +98,12 @@
 
   /* mapping buffer <-> prover */
 
-  private val mapping = new mutable.HashMap[JEditBuffer, ProverSetup]
+  private val mapping = new mutable.HashMap[JEditBuffer, Prover_Setup]
 
   private def install(view: View)
   {
     val buffer = view.getBuffer
-    val prover_setup = new ProverSetup(buffer)
+    val prover_setup = new Prover_Setup(buffer)
     mapping.update(buffer, prover_setup)
     prover_setup.activate(view)
   }
@@ -115,7 +115,7 @@
     if (mapping.isDefinedAt(view.getBuffer)) uninstall(view)
     else install(view)
 
-  def prover_setup(buffer: JEditBuffer): Option[ProverSetup] = mapping.get(buffer)
+  def prover_setup(buffer: JEditBuffer): Option[Prover_Setup] = mapping.get(buffer)
   def is_active (buffer: JEditBuffer) = mapping.isDefinedAt(buffer)