proper tooltips -- override action toolTip which is empty here;

no document here;

discontinued attempt at alphabetic_order -- selection via regex should be sufficient;

suppress some controls that don't work yet;

proper selection of nodes via regular expression;

obsolete -- full layout takes approx. 100ms;

suppress some controls that don't work yet;

tuned;

misc tuning;

proper scrolling wrt. transform; tuned signature;

clarified main actions and keyboard focus;

tuned signature;

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

option graphview_swap_panels;

support for tree view on graph nodes; misc tuning;

tuned;

no censorship of L&F;

prefer fractional font metrics, for proper scaling of node size;

tuned metrics;

tuned window size for the sake of Windows L&F;

proper refresh after apply_layout, in order to update preferred size, which is required for scroll pane;

more compact content for tighter graph layout;

more explicit Layout.Info: size and content; allow multi-line vertex label, based on content; misc tuning;

clarified Class.pretty_specification: imitate input source;

merged

more efficient Z3 proof reconstruction for rewrite steps with conjunctions and disjunctions, similar to Old_SMT

added simp lemma

tuned