#173 (Oct 18, 2016, 12:50:08 AM)

1. NEWS;
   tuned comment; (detail / hgweb)
2. merged (detail / hgweb)
3. merged (detail / hgweb)
4. improved platform coverage: macbroy30, macbroy31;
   slightly improved performance on lxbroy10; (detail / hgweb)
5. eliminated unused argument; (detail / hgweb)
6. accomodate Poly/ML repository version, which treats singleton strings as boxed; (detail / hgweb)
7. re-use "threads" for --gcthreads; (detail / hgweb)
8. merged (detail / hgweb)
9. setprod -> prod (detail / hgweb)
10. merged (detail / hgweb)
11. Modified transfer principle in HOL/NSA to cause less ho-unficiation (detail / hgweb)
12. merged (detail / hgweb)
13. updated to setsum -> sum (detail / hgweb)
14. setsum -> sum (detail / hgweb)
15. uniform Isabelle settings -- avoid picking up different JAVA_HOME; (detail / hgweb)

Started by an SCM change

This run spent:

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