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;