#1201 (Oct 7, 2017, 3:43:04 PM)

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

Started by an SCM change

This run spent:

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