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
Sat, 07 Sep 2013 16:33:10 +0200
changeset 53458 ddefd18d5ed0
parent 53457 b7c15885fd1e
child 53459 33f773731f0c
tuned imports;
src/Pure/System/system_dialog.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/System/system_dialog.scala	Sat Sep 07 15:28:16 2013 +0200
+++ b/src/Pure/System/system_dialog.scala	Sat Sep 07 16:33:10 2013 +0200
@@ -11,7 +11,7 @@
 import javax.swing.WindowConstants
 
 import scala.swing.{ScrollPane, Button, CheckBox, FlowPanel,
-  BorderPanel, Frame, TextArea, SwingApplication, Component, Label}
+  BorderPanel, Frame, TextArea, Component, Label}
 import scala.swing.event.ButtonClicked
isabelle