Started 4 yr 7 mo ago
Took 5 min 17 sec
on workermta1
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 49ae62f849017ceef7ad7da12e8f824487672152 | |
Revision: ef5c588d2a90519ab94547e5c7b99f470c95d0f9 |