Started 4 yr 7 mo ago
Took 6 min 3 sec
on workermta1
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 086575316fd57a89753f92dfccc8c5a839fb7dd5 | |
Revision: 98320942654aaf57ea6e91c1863b1ce192bc59cd |