#5269 (May 17, 2024, 9:50:05 AM)

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

1. merge (detail)
2. merge from AFP 2023 (detail)
3. merge from afp-2023 (detail)
4. add files, amending eaa12586560e (detail)
5. add tests with problematic file names, amending 0c89fe6fc3d9 (detail)
6. remove tests with problematic file names (detail)
7. merge from AFP 2024 (detail)
8. patch Isabelle DOF from AFP 2023 to AFP 2024 (detail)
9. merge (detail)
10. patch some metadata of Isabelle/DOF (detail)
11. patch Isabelle/DOF to work with Isabelle 2024 (detail)
12. adjust Schoenhage Strassen from AFP 2023 to AFP 2024 (detail)
13. merge from AFP 2023 (detail)
14. metadata and sitegen for Isabelle-DOF (detail)
15. new entry: Isabelle DOF (detail)
16. More Schoenhage_Strassen (detail)
17. New entry Schoenhage_Strassen (detail)
18. sitegen for Top_Down_Solver (detail)
19. new entry Top_Down_Solver (detail)
20. tune html abstract for LL1_Parser + sitegen (detail)
21. sitegen for LL1_Parser (detail)
22. new entry LL1_Parser (detail)

Started by an SCM change

This run spent:

• 2 min 2 sec waiting;
• 19 min build duration;
• 21 min total from scheduled to completion.

• Schoenhage_Strassen
• Isabelle_DOF