tuned

more robust indentation: proper line context after insert;

more robust: avoid sporadic crash of JEditBuffer.tokenMarker.getMainRuleSet().getModeName();

support nested cases;

tuned;

tuned;

early definition of ML antiquotations;

tuned;

clarified signature: more operations;

clarified signature: more operations;

clarified signature;

tuned signature;

clarified command-line, following other build_XYZ tools;

more recent OCaml and GHC stack: better support for Apple Silicon;

merged

avoid "exec" to change the winpid;

clarified check of root process on Windows (NB: the winpid is less stable than the Cygwin/Posix pid, so it needs to be "patched" into the the bash script, instead of bash_process.c);

fast approximation of test for process group (NB: initial process might already be terminated, while background processes are still running);

clarified signature;

rebuild executable for x86_64-darwin;

clarified command-line;

update Linux base-line;

tuned comments;

tuned signature;

simplified typesetting of \<guillemotleft>...\<guillemotright>;

collecting more lemmas concerning multisets

proper use of antiquotations;

more documentation on "Conversions";

tuned

updated example;

clarified options (again);

more options: update ISABELLE_IDENTIFIER;

clarified conditional ML;

support for conditional ML text;

updated example;

clarified options;

proper context variable handling when stripping leadings quantifiers from test goals

proper etc/ISABELLE_ID from archive (amending 4cba4e250c28);

eliminated perl: prefer elementary GNU printenv;

more robust bootstrap of components;

more self-contained support for macOS;

misc tuning and clarification;

tuned signature;

support for base64 via Isabelle/Scala/ML;

compile;

clarified signature: avoid overlap of String vs. Bytes (both are CharSequence);

clarified signature (again);

merged

clarified signature;

unused;

unused;

clarified signature: more structured arguments, notably for remote provers;

clarified signature;

clarified signature: avoid tmp file;

clarified signature for Scala functions;

clarified message output: flush already happens in write_message_yxml (see Isabelle/22b5ecb53dd9);

tuned;

clarified cache;

clarified signature: Bytes extends CharSequence already (see d201996f72a8);

clarified exceptions;

more uniform use of Byte_Message; support protocol_message with multiple chunks;

tuned signature;

tuned signature;

more robust treatment of empty markup: it allows to produce formal chunks;

collected combinatorial material

tuned;

tuned;

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;

clarified: follow "isabelle version -t";