#623 (May 8, 2018, 12:50:09 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)
9. removed some lemma duplicates (detail / hgweb)
10. typo (detail / hgweb)
11. more appropriate notion of emptiness (detail / hgweb)
12. merged (detail / hgweb)
13. more tidying (detail / hgweb)
14. starting to tidy up Interval_Integral.thy (detail / hgweb)

Started by an SCM change

This run spent:

• 7.6 sec waiting;
• 1 hr 29 min build duration;
• 1 hr 29 min total from scheduled to completion.