Started 1 yr 9 mo ago
Took 3 hr 28 min
on workermtahpc
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 7a6301d0119906f7d25e2b59f86e6d1e4b9b8748 | |
Revision: f8a002855e5e63ede7363789d7900cedc3a5ad93 |