src/Tools/Graphview/src/graphview.scala
2014-04-29 wenzelm 2014-04-29 more systematic Isabelle output, like in classic Isabelle/ML (without markup);
2014-04-23 wenzelm 2014-04-23 explicit Exn.error_message in accordance to Output.error_message in ML;
2013-04-04 wenzelm 2013-04-04 tuned signature -- concentrate GUI tools;
2013-04-04 wenzelm 2013-04-04 separate module "GUI", to keep this out of the way of generic Isabelle_System operations, notably for non-Isabelle/jEdit applications; tuned signature;
2013-04-04 wenzelm 2013-04-04 separate module Isabelle_Font, to keep this out of the way of generic Isabelle_System operations, notably for non-Isabelle/jEdit applications;
2013-01-12 wenzelm 2013-01-12 add icon for toplevel windows;
2012-12-09 wenzelm 2012-12-09 always apply transitive_reduction_acyclic in imitation of old graph browser (essential to avoid slow layout and overcrowded display, e.g. class_deps);
2012-10-08 wenzelm 2012-10-08 more basic tooltips;
2012-09-26 wenzelm 2012-09-26 more uniform graphview terminology;