Started 2 yr 11 mo ago
Took 3 hr 5 min
on workermta1
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 26c0ccf17f318614a645ec9136edea1e845989e2 | |
Revision: fd98855f4f8e627493f3b55146de59564d5b3c31 |