incremental document changes;

proper treatment of line that becomes empty;

tuned;

clarified Document.offset: including final position; support Document.change according to VSCode;

suppress vacuous edits;

clarified native Text.Offset versus Text.Length index Int;

tuned;

tuned;

tuned messages;

tuned proofs;

clarified rendering;

tuned;

updated package;

merged

decorations for text color;

tuned;

more generic colors;

tuned;

decorations for spell-checker;

clarified modules;

tuned signature;

clarified modules: spell-checker in Pure;

added admin tool "isabelle build_vscode";

clarified options;

Tuned generation of elimination rules in function package

maintain decorations for document (model) and update it for each editor (view);

clarified messages (with improved scalability): legacy/error as diagnostics, writeln/information/warning/bad as tooltips (dynamic hover); discontinued obsolete "hover_message" decoration;

more robust;