Changes

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

Summary

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

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

Summary

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