src/Pure/General/graph_display.ML
2014-05-21 wenzelm 2014-05-21 incorporate isabelle.graphview into Pure.jar, which saves 20..30s build time; discontinued pointless "isabelle graphview" command-line tool (Proof General legacy);
2013-01-04 wenzelm 2013-01-04 prefer old graph browser in Isabelle/jEdit, which still produces better layout; clarified print mode "active_graph": allow to switch "browser" vs. "graphview" uniformly; tuned signature;
2012-12-10 wenzelm 2012-12-10 generalized notion of active area, where sendback is just one application; some support for graphview via active area;
2012-11-25 wenzelm 2012-11-25 Isabelle-specific implementation of quasi-abstract markup elements -- back to module arrangement before d83797ef0d2d;
2012-09-26 wenzelm 2012-09-26 more uniform graphview terminology;
2012-09-25 wenzelm 2012-09-25 basic integration of graphview into document model; added Graph_Dockable; updated Isabelle/jEdit authors and dependencies etc.;
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-25 wenzelm 2012-09-25 separate module Graph_Display; tuned signature;