#879 (May 3, 2024, 12:32:05 AM)

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

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

Started by an SCM change

This run spent:

• 2 min 1 sec waiting;
• 1 min 15 sec build duration;
• 3 min 17 sec total from scheduled to completion.

• refs/remotes/origin/master