#1080 (Apr 19, 2019, 1:33:17 AM)

Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)

1. merged (detail)
2. merged automaton combination cardinality theorems (detail)
3. more (detail)
4. tuning (detail)
5. merged (detail)
6. Added new theory where Groebner bases are specialized to less abstract representation of polynomials (detail)
7. Added new theory about polynomials whose power-products are represented by polynomial mappings (detail)
8. incorporated various material from the AFP into the distribution (detail)
9. corrected wrong commit (detail)

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

1. added lemma (detail)
2. incorporated various material from the AFP into the distribution (detail)
3. backed out experimental b67bab2b132c, which slipped in accidentally (detail)
4. merged (detail)
5. added lemmas (detail)

Started by an SCM change

This run spent:

• 9.1 sec waiting;
• 18 hr build duration;
• 18 hr total from scheduled to completion.