#465 (Nov 4, 2017, 12:50:12 AM)

1. support for libgmp on x86_64-darwin; (detail / hgweb)
2. avoid slow IntInf.pow in Poly/ML 5.7.1 testing version, e.g. relevant for AFP/Lorenz_C0; (detail / hgweb)
3. delegate boundary cases to existing IntInf.pow; (detail / hgweb)
4. plain identify job for Isabelle + AFP, independent of any Isabelle technology; (detail / hgweb)
5. tuned (non-unique example); (detail / hgweb)
6. clarified situation of global theory names; (detail / hgweb)
7. less global theories -- avoid confusion about special cases; (detail / hgweb)

Started by an SCM change

This run spent:

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