#5253 (May 3, 2024, 12:32:04 AM)

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

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

Started by an SCM change

This run spent:

• 2 min 2 sec waiting;
• 23 min build duration;
• 25 min total from scheduled to completion.