#1473 (Feb 19, 2018, 10:49:07 PM)

1. merged (detail / hgweb)
2. support for lazy notes in global/local context and Element.Lazy_Notes: name binding and fact without attributes;
   register_proofs is now based on lazy thms, but Thm.consolidate_theory will eventually force this (in parallel);
   support for lazy notes for locale activation (still inactive); (detail / hgweb)
3. tuned; (detail / hgweb)
4. tuned: more parallel; (detail / hgweb)
5. clarified modules; (detail / hgweb)
6. clarified modules; (detail / hgweb)
7. tuned; (detail / hgweb)
8. tuned; (detail / hgweb)
9. tuned signature; (detail / hgweb)
10. tuned: more accurate transfer; (detail / hgweb)
11. store facts as lazy values; (detail / hgweb)
12. clarified operations; (detail / hgweb)
13. misc tuning and clarification; (detail / hgweb)
14. clarified signature; (detail / hgweb)
15. clarified modules; (detail / hgweb)
16. more operations; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 3 sec waiting;
• 1 hr 48 min build duration;
• 1 hr 53 min total from scheduled to completion.