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;

clarified signature;

clarified versions;

clarified LICENSE;

more robust: tmp files might get deleted concurrently in ML vs. Scala process;

clarified fonts;

tuned;

clarified errors;

tuned;

clarified;

tuned message;

tuned;

tuned;

handler for Isabelle version;

tuned;

handler for Isabelle fonts;

more operations;

clarified modules;

clarified signature;

misc tuning and modernization;

improved performance of remove, e.g. relevant for Theories_Dockable.purge;

more uniform platform settings;

more detailed platform information;

proper Isabelle/Scala tool;

more operations;

tuned;

merged;