src/Tools/Graphview/src/mutator_event.scala
2014-07-23 wenzelm 2014-07-23 clarified module name: facilitate alternative GUI frameworks;
2014-04-22 wenzelm 2014-04-22 avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;
2012-10-08 wenzelm 2012-10-08 prefer synchronous Mutator_Event.Bus on Swing_Thread;
2012-09-25 wenzelm 2012-09-25 ML support for generic graph display, with browser and graphview backends (via print modes); reverse graph layout (again), according to the graph orientation provided by ML; simplified scala types -- eliminated unused type parameters; more explicit Model.Info, Model.Graph; renamed isabelle.graphview.Graphview_Frame to isabelle.graphview.Frame in accordance to file name; removed obsolete Graph_XML and Tooltips; tuned graphview command line; more generous JVM resources via GRAPHVIEW_JAVA_OPTIONS;
2012-09-24 Markus Kaiser 2012-09-24 added Graphview tool, based on Isabelle/Scala and Swing/Graphics2D;