src/Tools/Graphview/model.scala
2015-01-04 wenzelm 2015-01-04 clarified static full_graph vs. dynamic visible_graph; tuned;
2015-01-03 wenzelm 2015-01-03 tuned signature;
2015-01-03 wenzelm 2015-01-03 more formal Graph_Display.Node (with ordering) and Graph_Display.Edge; misc tuning; tuned signature;
2015-01-02 wenzelm 2015-01-02 tuned headers;
2015-01-01 wenzelm 2015-01-01 more dynamic visualizer -- re-use Isabelle/jEdit options; clarified iTextField error: like Isabelle/jEdit search field; tuned signature;
2015-01-01 wenzelm 2015-01-01 tuned signature;
2015-01-01 wenzelm 2015-01-01 tuned whitespace;
2014-12-31 wenzelm 2014-12-31 converse graph according to Graph_Display;
2014-12-30 wenzelm 2014-12-30 clarified source location;