# HG changeset patch
# User wenzelm
# Date 1252242335 -7200
# Node ID 5a4cd1d4779432fc060f477c38d998ad3c898b69
# Parent  4f0ee5ab03802f94e512bb225e0457f3a8c6d644
tuned;

diff -r 4f0ee5ab0380 -r 5a4cd1d47794 src/Tools/jEdit/src/jedit/ProverSetup.scala
--- a/src/Tools/jEdit/src/jedit/ProverSetup.scala	Sun Sep 06 14:55:25 2009 +0200
+++ b/src/Tools/jEdit/src/jedit/ProverSetup.scala	Sun Sep 06 15:05:35 2009 +0200
@@ -7,16 +7,13 @@
 package isabelle.jedit
 
 
-import isabelle.prover.{Prover, Command}
-import isabelle.renderer.UserAgent
-
 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.{Buffer, View}
 
-import javax.swing.{JTextArea, JScrollPane}
+import javax.swing.JTextArea
+
+import isabelle.prover.Prover
 
 
 class ProverSetup(buffer: Buffer)