changeset 34871 | e596a0b71f3c |
parent 34867 | d0057d9777ce |
child 36015 | 6111de7c916a |
--- a/src/Tools/jEdit/src/jedit/output_dockable.scala Mon Jan 11 22:44:21 2010 +0100 +++ b/src/Tools/jEdit/src/jedit/output_dockable.scala Mon Jan 11 23:00:05 2010 +0100 @@ -7,8 +7,6 @@ package isabelle.jedit -import isabelle.proofdocument.{Command, HTML_Panel, Session} - import scala.actors.Actor._ import javax.swing.JPanel