#5254 (May 3, 2024, 11:44:06 AM)

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

1. merge from AFP 2024 (manually removed web/naproche... on conflicting merge) (detail)
2. metadata and sitegen for AutoCorres2 (detail)
3. new entry: AutoCorres2 (detail)
4. merge from AFP 2024 (detail)
5. import of 106668449b18 from AFP-devel (required for upcoming submission) (detail)
6. import of bdfb44a7a3a9 from AFP-devel (required for upcoming submission) (detail)
7. adjust Derandomization_Conditional_Expectations from 2023 to 2024-RC2 (detail)
8. merge from AFP 2023 (detail)
9. added missing files (oops) (detail)
10. sitegen for Derandomization_Conditional_Expectations (detail)
11. new entry: Derandomization_Conditional_Expectations (detail)
12. merge from afp-2023 (detail)
13. Oops forgot the most important page! (detail)
14. sitegen for Picks_Theorem (detail)
15. A new contribution: Pick's theorem (detail)
16. set version to 2024 (detail)
17. avoid luatex85.sty --- make it work with Ubuntu 24.04; (detail)
18. proper LaTeX --- make it work with Ubuntu 24.04; (detail)
19. do not touch obsolete macros --- make it work with Ubuntu 24.04; (detail)
20. Removed obsolete LaTeX commands. (detail)

Started by an SCM change

This run spent:

• 2 min 3 sec waiting;
• 7 min 54 sec build duration;
• 9 min 58 sec total from scheduled to completion.