#581 (Nov 4, 2017, 1:33:32 AM)

Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)

1. back to normal; (detail)
2. prefer standard theory name; (detail)

Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

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

Started by an SCM change

This run spent:

• 8.7 sec waiting;
• 18 hr build duration;
• 18 hr total from scheduled to completion.