#982 (Aug 11, 2019, 12:50:10 AM)

1. more careful export of unnamed proof boxes: avoid duplicates via memoing; (detail / hgweb)
2. tuned signature; (detail / hgweb)
3. export each PThm node separately: slightly more scalable; (detail / hgweb)
4. allow duplicate exports via strict = false; (detail / hgweb)
5. tuned message; (detail / hgweb)
6. more positions; (detail / hgweb)
7. more positions; (detail / hgweb)

Started by an SCM change

This run spent:

• 8.4 sec waiting;
• 1 hr 18 min build duration;
• 1 hr 18 min total from scheduled to completion.