#627 (May 12, 2018, 12:50:11 AM)

1. some export of foundational theory content; (detail / hgweb)
2. support for general theory presentation; (detail / hgweb)
3. guard result exports via export_pattern -- avoid bombing client via huge blobs; (detail / hgweb)
4. tuned; (detail / hgweb)
5. clarified output: avoid costly operations on huge blobs; (detail / hgweb)
6. unused; (detail / hgweb)
7. more scalable -- avoid huge lines within stdout; (detail / hgweb)
8. slightly more ambitious parallelism (again); (detail / hgweb)
9. more scalable API; (detail / hgweb)
10. proper heading; (detail / hgweb)
11. removed unused Java FX modules (it will be unbundled from JDK eventually); (detail / hgweb)

Started by an SCM change

This run spent:

• 9.8 sec waiting;
• 1 hr 17 min build duration;
• 1 hr 17 min total from scheduled to completion.