#2677 (Mar 1, 2021, 8:17:02 AM)

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

1. NEWS (detail / hgweb)
2. lemma diffusion (detail / hgweb)
3. more connections between mset _ = mset _ and permutations (detail / hgweb)
4. dissolve theory with duplicated name from afp (detail / hgweb)

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

1. lemma diffusion (detail)
2. more connections between mset _ = mset _ and permutations (detail)
3. dissolve theory with duplicated name from afp (detail)

Started by an SCM change

This run spent:

• 2 min 0 sec waiting;
• 2 hr 22 min build duration;
• 2 hr 24 min total from scheduled to completion.

• Buchi_Complementation
• Diophantine_Eqns_Lin_Hom
• PAC_Checker