Changes

Changes from Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)

Summary

1. tuned proofs; tuned whitespace;
2. merged, resoving conflicts in src/HOL/Nominal/Nominal.thy;
3. Added tag Isabelle2024-RC3 for changeset 007e6af8a020
4. more documentation on "System registry via TOML";
5. update to naproche-20240502: proper platform_path for NAPROCHE_FORMALIZATIONS to make it work on Windows;
6. provide 3.1 for testing (inactive);
7. build e-3.1, without patch;
8. disable Isabelle/Naproche for now: does not quite work on Windows;
9. update and activate naproche component for release;
10. changed URL to SystemOnTPTP at Geoff's request
11. tuned spelling;
12. build_cluster always uses build_database_server for now -- despite 1fa1b32b0379: its local/remote storage model often leads to incoherent state;
13. proper directory permissions to make "rm" work, notably for cygwin/etc/pki/ca-trust/extracted/pem/directory-hash;
14. support more Ubuntu versions;
15. updated for release;
16. more robust: avoid spurious ConcurrentModificationException;
17. update to e-3.0.03-1, with proper support for trivial statements;
18. more robust;
19. minor patch for E Prover, based on "git diff -w -r E-3.0.03 E-3.0.08": proper support for trivial statements;
20. backed out changeset 601ff5c7cad5: not relevant for Isabelle2024;
21. clone of 0c51e0a6bc37;