#2144 (Mar 6, 2024, 1:14:23 AM)

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

Started by an SCM change

This run spent:

• 24 min waiting;
• 2 hr 4 min build duration;
• 2 hr 28 min total from scheduled to completion.