#2484 (Mar 6, 2024, 1:33:09 AM)

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

1. tuned; (detail)
2. tuned signature; (detail)
3. Added tag Isabelle2024-RC0 for changeset 98f009f56400 (detail)
4. updated for release; (detail)
5. updated for release; (detail)
6. clarified signature; (detail)
7. misc tuning for release; (detail)
8. tuned whitespace: avoid TABs; (detail)
9. avoid suspicious Unicode; (detail)
10. tuned whitespace; (detail)
11. tuned signature: fewer warnings in IntelliJ IDEA; (detail)
12. merged (detail)
13. update NEWS; (detail)
14. update cygwin near 3.5.1-1, also see https://cygwin.com/pipermail/cygwin-announce/2024-February/011524.html and https://cygwin.com/pipermail/cygwin-announce/2024-February/011611.html (detail)
15. drop unused Task.info field; (detail)
16. proper guard_time (amending 752806151432); (detail)
17. proper dynamic access (amending c3f07c950116); (detail)
18. more robust, notably for remote process (via SSH); (detail)
19. prefer dynamic objects, following a5fda30edae2; (detail)
20. proper dynamic access (amending 52b5c7c8e6d9); (detail)
21. clarified signature: incorporate guard into Logger; (detail)
22. merged (detail)
23. added lemmas rtranclp_ident_if_reflp_and_transp and tranclp_ident_if_transp (detail)
24. Moving valuable library material from Martingales into the distribution (detail)

Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

1. non-executable files; (detail)
2. Moving library material into Analysis (Elementary_Metric_Spaces and Set_Integration) (detail)

Started by an SCM change

This run spent:

• 6.2 sec waiting;
• 10 hr build duration;
• 10 hr total from scheduled to completion.