#1469 (Feb 17, 2018, 12:01:06 PM)

1. merged (detail / hgweb)
2. tuned signature (again); (detail / hgweb)
3. trim context of persistent data; (detail / hgweb)
4. trim context of persistent data; (detail / hgweb)
5. proper file name; (detail / hgweb)
6. trim context of persistent data;
   tuned signature; (detail / hgweb)
7. clarified data operations, with trim_context and transfer; (detail / hgweb)
8. tuned; (detail / hgweb)
9. trim context of persistent data;
   tuned; (detail / hgweb)
10. trim context of persistent data; (detail / hgweb)
11. removed unused material; (detail / hgweb)
12. trim context of persistent data; (detail / hgweb)
13. trim context of persistent data;
    no need to trim context for del operations; (detail / hgweb)
14. tuned; (detail / hgweb)
15. tuned whitespace; (detail / hgweb)
16. more operations; (detail / hgweb)
17. optional trace of created theory values; (detail / hgweb)
18. more operations; (detail / hgweb)
19. auxiliary operation for space profiling; (detail / hgweb)

Started by an SCM change

This run spent:

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