#846 (Apr 19, 2017, 3:25:03 PM)

1. proper base name, e.g. relevant for Code_Namespace.hierarchical_program; (detail / hgweb)
2. clarified session graph: collapse theories from other sessions; (detail / hgweb)
3. more robust error (amending 2c27c3d1fd3b): responsibility is gradually moved from ML to Scala; (detail / hgweb)
4. exclude theories from other sessions;
   clarified modules; (detail / hgweb)
5. some documentation; (detail / hgweb)
6. actually qualify theory names; (detail / hgweb)

Started by an SCM change

This run spent:

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