# HG changeset patch
# User wenzelm
# Date 1229888201 -3600
# Node ID 17ff07446603fd76cd9019bdb63e0d9b5a824a68
# Parent  ee19d8ef5dc3bb52b7e7e28d0de7ef3487d65ebc
tuned;

diff -r ee19d8ef5dc3 -r 17ff07446603 src/Tools/jEdit/src/jedit/ProverSetup.scala
--- a/src/Tools/jEdit/src/jedit/ProverSetup.scala	Sun Dec 21 20:36:09 2008 +0100
+++ b/src/Tools/jEdit/src/jedit/ProverSetup.scala	Sun Dec 21 20:36:41 2008 +0100
@@ -6,19 +6,20 @@
 
 package isabelle.jedit
 
-import isabelle.utils.EventSource
-
-import isabelle.prover.{ Prover, Command }
-import org.w3c.dom.Document
 
 import isabelle.IsabelleSystem
+import isabelle.utils.EventSource
+import isabelle.prover.{Prover, Command}
 
-import org.gjt.sp.jedit.{ jEdit, EBMessage, EBPlugin, Buffer, EditPane, View }
+import org.w3c.dom.Document
+
+import org.gjt.sp.jedit.{jEdit, EBMessage, EBPlugin, Buffer, EditPane, View}
 import org.gjt.sp.jedit.buffer.JEditBuffer
-import org.gjt.sp.jedit.msg.{ EditPaneUpdate, PropertiesChanged }
+import org.gjt.sp.jedit.msg.{EditPaneUpdate, PropertiesChanged}
 
 import javax.swing.{JTextArea, JScrollPane}
 
+
 class ProverSetup(buffer : JEditBuffer) {
 
   val prover = new Prover()
diff -r ee19d8ef5dc3 -r 17ff07446603 src/Tools/jEdit/src/jedit/ScrollerDockable.scala
--- a/src/Tools/jEdit/src/jedit/ScrollerDockable.scala	Sun Dec 21 20:36:09 2008 +0100
+++ b/src/Tools/jEdit/src/jedit/ScrollerDockable.scala	Sun Dec 21 20:36:41 2008 +0100
@@ -7,9 +7,9 @@
 package isabelle.jedit
 
 
-import isabelle.utils.EventSource
 import isabelle.IsabelleProcess.Result
 import isabelle.YXML.parse_failsafe
+import isabelle.utils.EventSource
 
 import scala.collection.mutable.{ArrayBuffer, HashMap}