changeset 59225 | d0edf67253d3 |
parent 59221 | f779f83ef4ec |
child 59227 | 0df87ade7052 |
--- a/src/Tools/Graphview/main_panel.scala Thu Jan 01 14:21:26 2015 +0100 +++ b/src/Tools/Graphview/main_panel.scala Thu Jan 01 14:37:25 2015 +0100 @@ -9,7 +9,6 @@ import isabelle._ -import scala.collection.JavaConversions._ import scala.swing.{BorderPanel, Button, BoxPanel, Orientation, Swing, CheckBox, Action, FileChooser}