#1042 (Aug 4, 2017, 5:13:04 PM)

1. tuned (detail / hgweb)
2. more structural sharing between common target Generic_Target.init (detail / hgweb)
3. exit always refers to the bottom of a nested local theory stack, after_close always to all non-bottom elements (detail / hgweb)
4. treat exit separate from regular local theory operations (detail / hgweb)
5. provide explicit variant initializers for regular named target vs. almost-named target (detail / hgweb)
6. prefer explicit datatype over implicit sum;
   given up separate implementation to pretty-print locale specifications (detail / hgweb)
7. compactified output (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 1 sec waiting;
• 3 hr 6 min build duration;
• 3 hr 11 min total from scheduled to completion.