Build #416 (Nov 27, 2020 10:21:11 PM)

1. merged (detail / hgweb)
2. refined syntax for bundle mixins for locale and class specifications (detail / hgweb)
3. store timings for used_theories in canonical order, with reconstructed store.read_theories; (detail / hgweb)
4. More removal of apply (detail / hgweb)
5. merged (detail / hgweb)
6. merged (detail / hgweb)
7. tuned (detail / hgweb)
8. removed assumptions in lemma (Stepan Holub) (detail / hgweb)

Started by an SCM change

This run spent:

• 9.3 sec waiting;
• 2 hr 4 min build duration;
• 2 hr 4 min total from scheduled to completion.

• Polynomial_Factorization
• Perron_Frobenius
• Distribution
• Linear_Recurrences