Started 4 yr 9 mo ago
Took 10 hr
on workerlrz5
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 92f56fbfbab3779047293d12ca98cc39a18c5c8d | |
Revision: dcb063b90519eb4c44b63f0ce6cea4f4c25ac6fd |