#1269 (Nov 3, 2017, 2:16:04 PM)

1. tuned (non-unique example); (detail / hgweb)
2. clarified situation of global theory names; (detail / hgweb)
3. less global theories -- avoid confusion about special cases; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 2 sec waiting;
• 54 min build duration;
• 59 min total from scheduled to completion.