Started 2 yr 11 mo ago
Took 2 hr 59 min
on workermta1
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 58aed6f71f903b72c5f97b77cad73fc2ff857143 | |
Revision: d217041e01eecc31f591550e6bd5d38dd7ca5775 |