note correct induction schemes in 'primrec' (for N2M)
tuned signature;
simplify selectors in code views
tuned signature;
tuned comment
more robust process kill -- postpone interrupts on current thread;
allow empty original, e.g. path "";
support print operations as asynchronous query;
more decisive change of focus;
more explicit Print_Item with description;
tuned GUI;
more print operations;
preserve declaration order;
clarified print operations for "terms" and "theorems";
uniform Toplevel.print for all proof commands;
merged
expose interrupts more like ML version, but not in managed bash processes of Build;
some complication with ListView.Renderer to get tooltips;
tuned;
tuned GUI layout;
explicit option parallel_print to downgrade parallel scheduling, which might occasionally help for big and heavy "scripts";
tuned;