Started 4 yr 5 mo ago
Took 5 min 50 sec
on workermta1
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 6046f203c245d752088f5f7a3521a7ad52453040 | |
Revision: 87c3943758c0de1e8243e60201c2dd072d859971 |