1.1 --- a/src/Tools/jEdit/src/jedit/ProverSetup.scala	Sun Dec 21 20:36:09 2008 +0100
     1.2 +++ b/src/Tools/jEdit/src/jedit/ProverSetup.scala	Sun Dec 21 20:36:41 2008 +0100
     1.3 @@ -6,19 +6,20 @@
     1.4  
     1.5  package isabelle.jedit
     1.6  
     1.7 +
     1.8 +import isabelle.IsabelleSystem
     1.9  import isabelle.utils.EventSource
    1.10 +import isabelle.prover.{Prover, Command}
    1.11  
    1.12 -import isabelle.prover.{ Prover, Command }
    1.13  import org.w3c.dom.Document
    1.14  
    1.15 -import isabelle.IsabelleSystem
    1.16 -
    1.17 -import org.gjt.sp.jedit.{ jEdit, EBMessage, EBPlugin, Buffer, EditPane, View }
    1.18 +import org.gjt.sp.jedit.{jEdit, EBMessage, EBPlugin, Buffer, EditPane, View}
    1.19  import org.gjt.sp.jedit.buffer.JEditBuffer
    1.20 -import org.gjt.sp.jedit.msg.{ EditPaneUpdate, PropertiesChanged }
    1.21 +import org.gjt.sp.jedit.msg.{EditPaneUpdate, PropertiesChanged}
    1.22  
    1.23  import javax.swing.{JTextArea, JScrollPane}
    1.24  
    1.25 +
    1.26  class ProverSetup(buffer : JEditBuffer) {
    1.27  
    1.28    val prover = new Prover()

     2.1 --- a/src/Tools/jEdit/src/jedit/ScrollerDockable.scala	Sun Dec 21 20:36:09 2008 +0100
     2.2 +++ b/src/Tools/jEdit/src/jedit/ScrollerDockable.scala	Sun Dec 21 20:36:41 2008 +0100
     2.3 @@ -7,9 +7,9 @@
     2.4  package isabelle.jedit
     2.5  
     2.6  
     2.7 -import isabelle.utils.EventSource
     2.8  import isabelle.IsabelleProcess.Result
     2.9  import isabelle.YXML.parse_failsafe
    2.10 +import isabelle.utils.EventSource
    2.11  
    2.12  import scala.collection.mutable.{ArrayBuffer, HashMap}
    2.13