#847 (Apr 19, 2017, 6:19:30 PM)

1. tuned imports; (detail / hgweb)
2. always explore all sessions; (detail / hgweb)
3. optionally explore all sessions -- potentially slow, e.g. for AFP; (detail / hgweb)
4. proper sections; (detail / hgweb)
5. clarified session structure: avoid ambiguity of file ~~/src/HOL/Library/Old_Datatype.thy; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 1 sec waiting;
• 2 hr 19 min build duration;
• 2 hr 24 min total from scheduled to completion.