#182 (Oct 27, 2016, 12:50:10 AM)

1. tuning (detail / hgweb)
2. preprocess typedefs and quotients correctly (detail / hgweb)
3. adapted Nunchaku's input syntax to new design decisions (detail / hgweb)
4. more informative error (see 6e9c22c494c5); (detail / hgweb)
5. tuned signature -- more friendly for experimentation; (detail / hgweb)
6. clarified hg push return code: 1 means "nothing to push"; (detail / hgweb)
7. proper Nunchaku setup to use CVC4 and Kodkod (detail / hgweb)
8. more specific hardware information: relevant for ultimate Mac OS X version; (detail / hgweb)
9. just one task to identify Isabelle + AFP repository snapshots and build release;
   report AFP changeset id on website; (detail / hgweb)
10. tuned; (detail / hgweb)
11. Deleted spurious markup (detail / hgweb)
12. latest Mac OS X versions *are* still supported, but presently without formal reference systems; (detail / hgweb)

Started by an SCM change

This run spent:

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