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, 01 Jan 2015 14:05:48 +0100
changeset 59223 d1e233b4125b
parent 59222 74798d216b1f
child 59224 e3f90d5c0006
tuned imports;
src/Tools/Graphview/mutator_dialog.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/Graphview/mutator_dialog.scala	Thu Jan 01 14:02:28 2015 +0100
+++ b/src/Tools/Graphview/mutator_dialog.scala	Thu Jan 01 14:05:48 2015 +0100
@@ -13,7 +13,6 @@
 import java.awt.FocusTraversalPolicy
 import javax.swing.JColorChooser
 import javax.swing.border.EmptyBorder
-import scala.collection.JavaConversions._
 import scala.swing.{Dialog, Button, BoxPanel, Swing, Orientation, ComboBox, Action,
   Dimension, BorderPanel, ScrollPane, Label, CheckBox, Alignment, Component, TextField}
 import scala.swing.event.ValueChanged
isabelle