Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Tue, 10 Jan 2017 16:03:50 +0100
changeset 64865 778c64c17363
parent 64864 eec7ffef0be6
child 64866 372c833c7660
tuned;
src/Tools/jEdit/src/info_dockable.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/info_dockable.scala	Tue Jan 10 09:47:23 2017 +0100
+++ b/src/Tools/jEdit/src/info_dockable.scala	Tue Jan 10 16:03:50 2017 +0100
@@ -9,9 +9,6 @@
 
 import isabelle._
 
-import scala.swing.Button
-import scala.swing.event.ButtonClicked
-
 import java.awt.BorderLayout
 import java.awt.event.{ComponentEvent, ComponentAdapter, WindowFocusListener, WindowEvent}
isabelle