Started 3 yr 10 mo ago
Took 3 hr 3 min
on workermta1
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 720b72513ae54e22a6a41361adec004aae5e89ae | |
Revision: a03e9b5d8dc9706b56a9731ff1bbcfa9ee33a21b |