Started 4 yr 10 mo ago
Took 6 min 13 sec
on workermta1
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 9ea7081c3f03533fa4ec5fd7dbc1bd26d31c05a3 | |
Revision: 87cfcf4d1decf54886521582535258515c47a693 |