more examples;

tuned header;

generalized (borel_)measurable_SUP/INF/lfp/gfp; tuned proofs for sigma-closure of product spaces

merged

node-specific keywords, with session base syntax as default;

clarified define_command: send tokens more directly, without requiring keywords in ML;

more robust bundle_name: avoid assumptions about identifier, keywords etc.;

tuned signature;

tuned;

clarified token kind;

added Untyped.method convenience (for *this* class only);

tuned signature -- more explicit types;

more careful syntax_changed propagation -- avoid global jEdit.propertiesChanged;

node-specific syntax, with base_syntax as default; clarified Document_Model.init: convergence of editor events towards buffer-specific token marker;

clarified token marker / syntax for mode vs. buffer;

Sidekick syntax is derived from buffer (and its mode), instead of parser name;

tuned signature;

more merge operations;

tuned signature;

tuned;

prefer E 1.8, now that it's been tried and tested

more accurate context;

update_cartouches;

tuned signature;

tuned signature;

tuned signature -- prefer Input.source;

more abstract type Input.source;

encode text with control symbols;

proper HTML.encode;

prefer abbrev for is_unit