isabelle: Changelog

wenzelm [Sun, 18 Jan 2015 22:22:12 +0100] rev 59401

obsolete -- full layout takes approx. 100ms;

wenzelm [Sun, 18 Jan 2015 22:20:48 +0100] rev 59400

suppress some controls that don't work yet;

wenzelm [Sun, 18 Jan 2015 22:07:45 +0100] rev 59399

tuned;

wenzelm [Sun, 18 Jan 2015 22:03:53 +0100] rev 59398

misc tuning;

wenzelm [Sun, 18 Jan 2015 21:35:54 +0100] rev 59397

proper scrolling wrt. transform; tuned signature;

wenzelm [Sun, 18 Jan 2015 20:15:05 +0100] rev 59396

clarified main actions and keyboard focus;

wenzelm [Sun, 18 Jan 2015 19:21:10 +0100] rev 59395

tuned signature;

wenzelm [Sun, 18 Jan 2015 19:09:41 +0100] rev 59394

retain uniform background, notably wrt. PDF output and tree panel;

wenzelm [Sun, 18 Jan 2015 19:06:37 +0100] rev 59393

option graphview_swap_panels;

wenzelm [Sun, 18 Jan 2015 17:34:14 +0100] rev 59392

support for tree view on graph nodes; misc tuning;

isabelle