more robust timing info: do not rely on order of markup;

more compact markup tree: output messages are already stored in command results (e.g. relevant for XML data representation);

more accurate spell-checking for nested quotations / antiquotations, notably in formal comments;

HTML output for Markdown elements;
clarified HTML operations;

PIDE markup for Markdown items (which may consist of multiple paragraphs or lists);

clarified terminology of "markdown_bullet";

added action to make antiquoted cartouche;

tuned signature;

tuned;

clarified modules;

tuned signature;
clarified modules;

clarified signature;

tuned;

tuned;

more uniform syntax_completion + semantic_completion;

clarified modules;

support text overview colors via decorations;

clarified modules;

tuned;

tuned signature;

tuned signature;

more robust debugger initialization, e.g. required for GUI components before actual session startup;

proper local debugger state, depending on session;
tuned signature;

tuned;

suppress irrelevant markup for VSCode;

clarified rendering;

tuned;

tuned;

more generic colors;

tuned;

clarified modules: spell-checker in Pure;

--HG--
rename : src/Tools/jEdit/src/spell_checker.scala => src/Tools/jEdit/src/jedit_spell_checker.scala

more robust;

more general tooltips, with uniform info range handling;

tuned whitespace;

more generic colors;

more generic rendering;

clarified pretty margin;

decorations for background and foreground colors;

symbolic Rendering.Color;
clarified modules;

support for semantic completion;

support VSCode DocumentHighlights;
clarified modules;

clarified multiple tooltips;

clarified modules;

omit unused markup;

clarified signature;

basic support for hyperlinks / Goto Definition Request;

more uniform rendering for Isabelle/jEdit and Isabelle/VSCode;