Started 4 yr 11 mo ago
Took 1 hr 32 min
on workermta1
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 8dd987397e314a5c688132b1fc599b3c18fb0c7a | |
Revision: 87cfcf4d1decf54886521582535258515c47a693 |