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