#1396 (Jan 9, 2018, 12:28:07 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)

Started by an SCM change

This run spent:

• 5 min 4 sec waiting;
• 1 hr 41 min build duration;
• 1 hr 46 min total from scheduled to completion.