#647 (Jun 1, 2018, 12:50:07 AM)

1. merged (detail / hgweb)
2. more symbols; (detail / hgweb)
3. Document.update includes node consolidation / presentation as regular print operation: avoid user operations on protocol thread;
   tuned; (detail / hgweb)
4. clarified: consolidated result is last command; (detail / hgweb)
5. support for anonymous print function values;
   clarified treatment of retained_prints; (detail / hgweb)
6. tuned; (detail / hgweb)
7. store Isabelle symbols in canonical form;
   tuned signature; (detail / hgweb)
8. clarified outermost progress.interrupt_handler; (detail / hgweb)
9. report theory progress via PIDE node status; (detail / hgweb)
10. merge (detail / hgweb)
11. more conservative output, avoiding nonstandard feature of E (detail / hgweb)
12. merged (detail / hgweb)
13. winding numbers predicate (detail / hgweb)

Started by an SCM change

This run spent:

• 5.4 sec waiting;
• 1 hr 31 min build duration;
• 1 hr 31 min total from scheduled to completion.