Started 4 yr 9 mo ago
Took 9 hr 24 min
on workerlrz5
Build Artifacts | |
Changes
Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default) Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: d4a23cc9aabc29c65579276b6a07c45ed8d07e9d | |
Revision: dcb063b90519eb4c44b63f0ce6cea4f4c25ac6fd |