#3130 (Sep 24, 2021, 2:44:07 PM)

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

1. move parts of Min_Int_Poly from Hermite-Lindemann and Cubic_Quartic_Equations into Algebraic_Numbers (detail)
2. ported Cubic_Quartic_Equations from AFP 2021 to devel (detail)
3. merge of AFP 2021 (detail)
4. Cubic_Quartic_Equations sitegen (detail)
5. new entry Cubic_Quartic_Equations (detail)
6. sitegen for combinatorial design theory (detail)
7. new entry: Combinatorial Design Theory (detail)
8. sitegen for Three Circles (detail)
9. new entry: Three Circles (detail)

Started by an SCM change

This run spent:

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

• Design_Theory
• Three_Circles