#1633 (May 8, 2018, 1:30:59 AM)

1. more operations; (detail / hgweb)
2. merged (detail / hgweb)
3. return exports as result for Isabelle server; (detail / hgweb)
4. more checks; (detail / hgweb)
5. tuned; (detail / hgweb)
6. more robust (synchronous) management of Export.Entry: Future.fork happens inside the data structure;
   tuned; (detail / hgweb)
7. clarified signature;
   avoid pointless compression; (detail / hgweb)
8. store exports within PIDE command state;
   Markup.Export.unapply: proper NAME; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 2 sec waiting;
• 3 hr 23 min build duration;
• 3 hr 28 min total from scheduled to completion.