changeset 59221 | f779f83ef4ec |
parent 59202 | 711c2446dc9d |
child 59225 | d0edf67253d3 |
--- a/src/Tools/Graphview/main_panel.scala Thu Jan 01 12:34:15 2015 +0100 +++ b/src/Tools/Graphview/main_panel.scala Thu Jan 01 13:07:30 2015 +0100 @@ -8,7 +8,6 @@ import isabelle._ -import isabelle.graphview.Mutators._ import scala.collection.JavaConversions._ import scala.swing.{BorderPanel, Button, BoxPanel,