| Tue, 29 Apr 2014 13:32:13 +0200 |
wenzelm |
more systematic Isabelle output, like in classic Isabelle/ML (without markup);
|
file |
diff |
annotate
|
| Wed, 23 Apr 2014 13:28:32 +0200 |
wenzelm |
explicit Exn.error_message in accordance to Output.error_message in ML;
|
file |
diff |
annotate
|
| 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
|