proper dist_name;

clarified option -P: allow empty argument;

support for existing release archive; misc tuning and clarification;

tuned signature;

clarified signature;

more website content;

misc tuning and clarification: more explicit types Release_Context, Release_Archive;

tuned signature;

tuned theory structure

more appropriate location

collected lemmas on permutations

A nice cardinality lemma

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;