#1703 (May 31, 2018, 11:25:06 PM)

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)

Started by an SCM change

This run spent:

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