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 imports;
authorwenzelm
Thu, 08 Aug 2013 14:13:04 +0200
changeset 52907 288896518cf5
parent 52903 6c89225ddeba
child 52908 3461985dcbc3
tuned imports;
src/Tools/jEdit/src/info_dockable.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/info_dockable.scala	Wed Aug 07 23:20:11 2013 +0200
+++ b/src/Tools/jEdit/src/info_dockable.scala	Thu Aug 08 14:13:04 2013 +0200
@@ -11,7 +11,7 @@
 
 import scala.actors.Actor._
 
-import scala.swing.{FlowPanel, Button, CheckBox}
+import scala.swing.{FlowPanel, Button}
 import scala.swing.event.ButtonClicked
 
 import java.lang.System
isabelle