Started 2 yr 6 mo ago
Took 4 hr 6 min
on workermtahpc
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 4f1c1c7eb95f4235c4d8c7c8ccfffe21b19437b8 | |
Revision: 3c6fcf371feb9b2ddb300d243505a4ef54d21644 |