isabelle: File revisions

src/Tools/Graphview/src/graphview.scala

Thu, 04 Apr 2013 18:06:48 +0200	wenzelm	tuned signature -- concentrate GUI tools;	file \| diff \| annotate
Thu, 04 Apr 2013 17:47:28 +0200	wenzelm	separate module "GUI", to keep this out of the way of generic Isabelle_System operations, notably for non-Isabelle/jEdit applications;	file \| diff \| annotate
Thu, 04 Apr 2013 17:33:04 +0200	wenzelm	separate module Isabelle_Font, to keep this out of the way of generic Isabelle_System operations, notably for non-Isabelle/jEdit applications;	file \| diff \| annotate
Sat, 12 Jan 2013 22:08:38 +0100	wenzelm	add icon for toplevel windows;	file \| diff \| annotate
Sun, 09 Dec 2012 14:05:21 +0100	wenzelm	always apply transitive_reduction_acyclic in imitation of old graph browser (essential to avoid slow layout and overcrowded display, e.g. class_deps);	file \| diff \| annotate
Mon, 08 Oct 2012 12:02:32 +0200	wenzelm	more basic tooltips;	file \| diff \| annotate
Wed, 26 Sep 2012 15:01:45 +0200	wenzelm	more uniform graphview terminology;	file \| diff \| annotate \| base

isabelle