Started 4 yr 7 mo ago
Took 1 hr 43 min
on workermta1
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 9de7f10675209f8f70a89a31e4013956f1f7193e | |
Revision: 87c3943758c0de1e8243e60201c2dd072d859971 |