#914 (Apr 11, 2019, 12:50:11 AM)

1. tuned layout; (detail / hgweb)
2. updated screenshots; (detail / hgweb)
3. ignore odd warnings; (detail / hgweb)
4. tuned whitespace; (detail / hgweb)
5. merged; (detail / hgweb)
6. updated for release; (detail / hgweb)
7. merged (detail / hgweb)
8. clarified build of standard heaps; (detail / hgweb)
9. updated for release; (detail / hgweb)
10. tuned message; (detail / hgweb)
11. retain copy of required components; (detail / hgweb)
12. option for build_sessions; (detail / hgweb)
13. tuned; (detail / hgweb)
14. support for platform-specific builds on remote server; (detail / hgweb)
15. more robust: always (re)build platform application bundles; (detail / hgweb)
16. The last big tranche of Homology material: invariance of domain; renamings to use generic sum/prod lemmas from their locale (detail / hgweb)

Started by an SCM change

This run spent:

• 9.2 sec waiting;
• 1 hr 14 min build duration;
• 1 hr 15 min total from scheduled to completion.