#438 (Oct 8, 2017, 12:50:11 AM)

1. theory qualifier is always session name (see also 31e8a86971a8); (detail / hgweb)
2. clarified session structure; (detail / hgweb)
3. discontinued somewhat pointless session group: -g ZF may be replaced by -D ~~/src/ZF; (detail / hgweb)
4. merged (detail / hgweb)
5. clarified empty merge;
   tuned; (detail / hgweb)
6. permissive loaded_theories (amending 67dbf5cdc056): user errors are produced e.g. in Known.make; (detail / hgweb)
7. prefer native platform x86-windows, to make this work on x86_64-cygwin; (detail / hgweb)

Started by an SCM change

This run spent:

• 9.2 sec waiting;
• 1 hr 16 min build duration;
• 1 hr 17 min total from scheduled to completion.