changeset 34441 | ff3b7ae2b12a |
parent 34440 | 561a6d19bd95 |
child 34456 | 14367c0715e8 |
--- a/src/Tools/jEdit/src/jedit/StateViewDockable.scala Sat Dec 27 14:13:05 2008 +0100 +++ b/src/Tools/jEdit/src/jedit/StateViewDockable.scala Sat Dec 27 15:03:32 2008 +0100 @@ -11,7 +11,6 @@ import java.awt.{BorderLayout, Dimension} import javax.swing.{JButton, JPanel, JScrollPane} -import isabelle.IsabelleSystem.getenv import isabelle.renderer.UserAgent import org.xhtmlrenderer.simple.{XHTMLPanel, FSScrollPane}