#177 (Oct 22, 2016, 12:50:09 AM)

1. minor updates after fresh installation of virtual Windows 2012: retain old versions of mingw for this brittle build process; (detail / hgweb)
2. misc tuning and updates; (detail / hgweb)
3. clarified default args;
   more ambitious tests; (detail / hgweb)
4. speculative support for latest Mac OS X versions -- no reference systems yet; (detail / hgweb)
5. merged (detail / hgweb)
6. more ambitious default; (detail / hgweb)
7. updated to new structure Foreign;
   more robust memory management; (detail / hgweb)
8. HOL-Probability: Essential Supremum as Limsup over ae_filter (detail / hgweb)
9. less ambitious test; (detail / hgweb)
10. proper type for Poly/ML development version; (detail / hgweb)
11. more operations; (detail / hgweb)
12. more on sgn in linear ordered fields (detail / hgweb)

Started by an SCM change

This run spent:

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