#5327 (Jun 17, 2024, 2:59:07 PM)

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

1. adjust Coppersmith from 2024 to development version (detail)
2. merge from AFP 2024 (detail)
3. metadata and sitegen for EnrichedCategoryBasics and ResiduatedTransitionSystem2 (detail)
4. new entry: ResiduatedTransitionSystem2 (detail)
5. added EnrichedCategoryBasics (detail)
6. typo (detail)
7. typo (detail)
8. sitegen for Alpha_Beta_Pruning (detail)
9. tuned whitespace (detail)
10. tuned proofs (to make the linter happier) (detail)
11. new entry Alpha_Beta_Pruning (detail)
12. metadata and sitegen for Coppersmith (detail)
13. new entry: Coppersmith (detail)
14. sitegen for Riesz_Representation and Levy_Prokhorov_Metric (detail)
15. New entries Riesz_Representation and Levy_Prokhorov_Metric (detail)
16. sort submissions in overview; (detail)
17. sitegen for Stone_Cech (detail)
18. New entry Stone_Cech (detail)
19. merged (detail)
20. fixed typo (detail)
21. amend a821024e3b0d: actually save status; (detail)
22. New entries More_LazyLists Relative_Security Secret_Directed_Unwinding (detail)
23. sitegen for Countable_Sums_and_Discrete_Distributions (detail)
24. New entry Countable_Sums_and_Discrete_Distributions (after considerable tidying) (detail)
25. New entries Sorted_Terms and Pattern_Completeness (detail)
26. update doc; (detail)
27. sitegen; (detail)
28. sitegen: only add link if contributor appears as author; (detail)
29. sitegen for Isabelle2024; (detail)

Started by an SCM change

This run spent:

• 2 min 4 sec waiting;
• 38 min build duration;
• 40 min total from scheduled to completion.