#442 (Oct 12, 2017, 12:50:11 AM)

1. back to build_polyml_component according to 54c6ec4166a4 (amending 808e6ddb5a50); (detail / hgweb)
2. reactivated unfinished tool (cf. a3a847c4fbdb); (detail / hgweb)
3. tuned whitespace; (detail / hgweb)
4. clarified meta_digest; (detail / hgweb)
5. tuned; (detail / hgweb)
6. added isablle build option -f; (detail / hgweb)
7. canonical multiplicative euclidean size (detail / hgweb)
8. clarified parity (detail / hgweb)
9. clarified uniqueness criterion for euclidean rings (detail / hgweb)
10. tuned proofs (detail / hgweb)
11. tuned imports (detail / hgweb)

Started by an SCM change

This run spent:

• 10 sec waiting;
• 1 hr 17 min build duration;
• 1 hr 17 min total from scheduled to completion.