#2259 (Sep 25, 2020, 7:19:08 PM)

Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

1. merged (detail / hgweb)
2. reverted the substitution here (detail / hgweb)
3. merged (detail / hgweb)
4. fixed some remarkably ugly proofs (detail / hgweb)
5. de-applying and tidying (detail / hgweb)

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

1. fixed proofs — not sure why they were failing (detail)
2. removal of some theorem aliases involving "card" (detail)

Started by an SCM change

This run spent:

• 2 min 3 sec waiting;
• 2 hr 28 min build duration;
• 2 hr 30 min total from scheduled to completion.