bundle main sources read-only, to avoid accidental editing of imported theories etc.;

more symbols;

some GC options that potentially improve reactivity;

more thorough completion rendering, e.g. "Un";

tuned;

Updates to the revision history of the locales tutorial.

Clarify locale qualifiers: output and tutorial.

tuned proofs;

tuned;

double flush to ensure persistent "state" output is reset; tuned GUI;

reverted 2abbe7d700e9: "state" output is not necessarily proof state;

clarified default (again) in accordance to with Output dockable, despite more CPU resources requirements;

more thorough update of options;

limit statistics, to avoid exhaustion of heap space or GUI time;

render snapshot.is_outdated in text overview, where other status information is shown already;

avoid flashing of main text area (visual "grey-out") due to spurious edits, e.g. State panel auto-update;

clarified default;

recovered auto update from f9aaca00be49;

less intrusive rendering, notably for State dockable;

clarified rendering of Markup.DOC: like Markup.PATH / Markup.URL;

more direct access to option "editor_output_state";

tuned;

speculative support for polyml-5.6, according to git commit 3527f4ba7b8b;

Now just a few seconds faster

merged

tuned

Theory of homotopic paths (from HOL Light), plus comments and minor refinements

merged

tuned

explicit nested local theory for definitions, however retaining arcane low-level fiddling with background theory