#301 (Apr 20, 2017, 12:50:11 AM)

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)
6. proper base name, e.g. relevant for Code_Namespace.hierarchical_program; (detail / hgweb)
7. clarified session graph: collapse theories from other sessions; (detail / hgweb)
8. more robust error (amending 2c27c3d1fd3b): responsibility is gradually moved from ML to Scala; (detail / hgweb)
9. exclude theories from other sessions;
   clarified modules; (detail / hgweb)
10. some documentation; (detail / hgweb)
11. actually qualify theory names; (detail / hgweb)

Started by an SCM change

This run spent:

• 8.7 sec waiting;
• 1 hr 14 min build duration;
• 1 hr 14 min total from scheduled to completion.