more documentation;

proper treatment of nested antiquotations; clarified signature;

support for ML special forms: modified evaluation similar to Scheme;

clarified signature: more detailed token positions for antiquotations;

merged

clarified signature;

confluent preprocessing for floats in presence of target language numerals

subclass relation

some tinkering with npm versions;

some tinkering with npm versions;

back to post-release mode;

tuned signature;

auto-update due to "isabelle build_vscode";

tuned;

tuned --- following hints by IntelliJ IDEA;

fixed problematic addition operation in the 'approximation' package (previous version used much too high precision sometimes)

simplified definition

new lemmas

discontinue old Ubuntu 18.04 LTS, e.g. it cannot build documentation "prog-prove";

following recent Phabricator update, after 2021 Week 13 (Late March);

merged

Cosmetic: no !! in the lemma statement

clarified README; avoid odd patching of sources;

more standard header, with utf-8 encoding;

clarified HTML template (see also 04cb7e02ca38): avoid odd patching of sources;

merged

new automatic order prover: stateless, complete, verified

clarified signature;