#856 (Apr 24, 2017, 10:23:08 PM)

1. clarified parent session images, to avoid duplicate loading of theories;
   tuned whitespace; (detail / hgweb)
2. avoid dead code; (detail / hgweb)
3. tuned whitespace; (detail / hgweb)
4. unused; (detail / hgweb)
5. avoid dead code; (detail / hgweb)
6. avoid dead code; (detail / hgweb)
7. avoid dead code; (detail / hgweb)
8. tuned whitespace; (detail / hgweb)
9. avoid dead code; (detail / hgweb)
10. avoid dead code; (detail / hgweb)
11. more parallel build; (detail / hgweb)

Started by an SCM change

This run spent:

• 5.8 sec waiting;
• 35 min build duration;
• 35 min total from scheduled to completion.