changeset 34871 | e596a0b71f3c |
parent 34867 | d0057d9777ce |
child 36015 | 6111de7c916a |
--- a/src/Tools/jEdit/src/jedit/document_view.scala Mon Jan 11 22:44:21 2010 +0100 +++ b/src/Tools/jEdit/src/jedit/document_view.scala Mon Jan 11 23:00:05 2010 +0100 @@ -8,8 +8,6 @@ package isabelle.jedit -import isabelle.proofdocument.{Command, Document, Session} - import scala.actors.Actor._ import java.awt.event.{MouseAdapter, MouseEvent}