#523 (Jan 9, 2018, 1:28:54 AM)

1. merged; (detail / hgweb)
2. updated to 146757999c8d; (detail / hgweb)
3. theory Pure is default presentation context; (detail / hgweb)
4. clarified implicit Pure.thy; (detail / hgweb)
5. prefer qualified names; (detail / hgweb)
6. tuned; (detail / hgweb)
7. check formal comments recursively, within arbitrary cartouches (unknown sublanguages); (detail / hgweb)
8. more operations; (detail / hgweb)
9. tuned; (detail / hgweb)
10. clarified output (see also 909dcdec2122, 34d1913f0b20); (detail / hgweb)
11. more operations; (detail / hgweb)
12. tuned; (detail / hgweb)
13. moved in some material from Euler-MacLaurin (detail / hgweb)

Started by an SCM change

This run spent:

• 38 min waiting;
• 1 hr 22 min build duration;
• 2 hr 0 min total from scheduled to completion.