Started 4 yr 1 mo ago
Took 1 hr 10 min
on workermta1
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 2e8f861d21d428562022bec7498b0a54f09279b2 | |
Revision: 81ec186eae5e9cd7f0bd307a2f5009f3fd143695 |