Started 4 yr 7 mo ago
Took 1 hr 40 min
on workermta1
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 7e93a10b21f0f9c6654e56c9d6f19dbd7023f219 | |
Revision: 98320942654aaf57ea6e91c1863b1ce192bc59cd |