Changes from Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- tuned proofs; tuned whitespace;
- merged, resoving conflicts in src/HOL/Nominal/Nominal.thy;
- Added tag Isabelle2024-RC3 for changeset 007e6af8a020
- more documentation on "System registry via TOML";
- update to naproche-20240502: proper platform_path for NAPROCHE_FORMALIZATIONS to make it work on Windows;
- provide 3.1 for testing (inactive);
- build e-3.1, without patch;
- disable Isabelle/Naproche for now: does not quite work on Windows;
- update and activate naproche component for release;
- changed URL to SystemOnTPTP at Geoff's request
- 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;