tuned spelling;

build_cluster always uses build_database_server for now -- despite 1fa1b32b0379: its local/remote storage model often leads to incoherent state;

proper directory permissions to make "rm" work, notably for cygwin/etc/pki/ca-trust/extracted/pem/directory-hash;

support more Ubuntu versions;

updated for release;

more robust: avoid spurious ConcurrentModificationException;

update to e-3.0.03-1, with proper support for trivial statements;

more robust;

minor patch for E Prover, based on "git diff -w -r E-3.0.03 E-3.0.08": proper support for trivial statements;

backed out changeset 601ff5c7cad5: not relevant for Isabelle2024;

clone of 0c51e0a6bc37;

update Windows test machines;

More tidying of proofs

Another Nominal example

merged

Tidying up another Nominal example (SOS)

update Windows build host;

proper command-line;

Tidying up another of the nominal examples

More tidying of Nominal proofs

Tidied up another messy theory

More proof tidying for Nominal

Tidying up more messy proofs

Starting to tidy HOL-Nominal-Examples

sketch & explore: recover from duplicate fixed variables in Isar proofs

back to post-release mode -- after fork point;

merged

Added tag Isabelle2024-RC2 for changeset ef2134570abb

Acknowledgement of Ata Keskin for his Martingales material

merged

update to jdk-21.0.3; enforce rebuild of Isabelle/ML and Isabelle/Scala;

merged

Tidied up horrible archaic proofs

clarified signature;

make adhoc_overloading respect type constraints

merged

tuned;

clarified signature;

minor performance tuning: avoid redundant server access;

tuned;

clarified modules and options (from store);

clarified signature;

tuned;

clarified signature;

tuned signature;

tuned;

tuned signature;

tuned;

tuned;

more robust tmp_file (see also ab07d4cb7d1c and 146468e05dd4);

tuned messages;

tuned;

back to static numa_nodes (reverting part of c2c59de57df9);

tuned messages;

canonical time function for List.nth

merged