#2059 (Sep 9, 2022, 1:34:10 AM)

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

1. Eliminated the temporary material that was already migrated to the Isabelle libraries (detail)
2. merge from afp-2021-1 (detail)
3. regenerate site; (detail)
4. tuned; (detail)
5. merged (detail)
6. New entry CRYSTALS-Kyber (detail)
7. regenerate site; (detail)
8. added missing history in metadata; (detail)
9. retrieve missing change history in metadata migration tool; (detail)
10. backout b2ae7c2c3ea51af8f43b76cdcb5d499c5085e726 (detail)
11. new email address for Maksym (detail)
12. metadata and sitegen for Khovansikii_Theorem (detail)
13. new entry: Khovanski-Theorem (detail)
14. fixed metadata for Hales_Jewett (detail)
15. sitegen for Number_Theoretic_Transform (detail)
16. new entry Number_Theoretic_Transform (detail)
17. new entry Hales Jewett (detail)
18. adapt to only check ROOT for directories in thys (aftermath of Isabelle/a9bbf075f4319e920a22a1c0a5b763b6575f2089); (detail)

Started by an SCM change

This run spent:

• 5.5 sec waiting;
• 11 hr build duration;
• 11 hr total from scheduled to completion.