Started 3 yr 10 mo ago
Took 6 min 15 sec
on workermta1
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 026de3424c39f54f0b7d5d9ff6e834b85b07e370 | |
Revision: 06ca7a66d8ae578b2b6cee6f81f6ea2b763b6ad2 |