#665 (Jun 21, 2018, 1:46:40 AM)

1. merged (detail / hgweb)
2. More clear-up of Divisibility (detail / hgweb)
3. updated to polyml-5.7.1-6; (detail / hgweb)
4. clarified documentation; (detail / hgweb)
5. merged (detail / hgweb)
6. Partial de-apply of Divisibility (detail / hgweb)

Started by an SCM change

This run spent:

• 56 min waiting;
• 1 hr 21 min build duration;
• 2 hr 18 min total from scheduled to completion.