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;

tuned;

proper Text.Range.offside (NB: in Scala ~1 == -2);

tuned;

more general tooltips, with uniform info range handling;

tuned;

more generic colors;

tuned whitespace;

proper color;

more generic colors;

more ambitious timing, to compensate general protocol delays;

decorations for dotted underline: less intrusive; tuned;

more generic rendering;

proper reset of published decorations: initial value is Nil, afterwards it is a list of canonical length and order;

always invoke output: pending_output may be present due to other reasons;

tuned signature;

tuned;

simplified;

publish output more thoroughly;

potentially redundant pending_output, for the sake of uniformity and reactivity;

tuned;

tuned;

more robust treatment of pending input/output: these are often correlated; no decorations for invisible node;

merged

added numeral_powr_numeral

merged

clarified pretty margin;

more general hover_message (see also JEdit_Rendering.tooltip_message);

clarified signature;

decorations for background and foreground colors;

tight protocol messages;

tuned signature;

symbolic Rendering.Color; clarified modules;

tuned;

Knaster-Tarski fixed point theorem and Galois Connections.

evade odd version conflicts for batch build (e.g. "vsce package");

more robust Uri comparison, notably on Windows;

tuned;

publish decorations like diagnostics; Markup.BAD is decoration, not error message;

support for decorations;