#927 (Jun 6, 2017, 11:26:08 PM)

1. merged (detail / hgweb)
2. qualified imports; (detail / hgweb)
3. qualified imports; (detail / hgweb)
4. prefer smaller sessions, notably for x86 and potentially for polyml-5.7; (detail / hgweb)
5. qualified imports; (detail / hgweb)
6. avoid hardwired documents; (detail / hgweb)
7. proper Unix lines; (detail / hgweb)
8. eliminated dead code; (detail / hgweb)
9. more standard Isabelle/ML; (detail / hgweb)

Started by an SCM change

This run spent:

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