Started 3 yr 3 mo ago
Took 26 min
on workermta1
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 0398f18ec76c1729233a5adb6574f8968fc8edde | |
Revision: 3d82fe267f9a91ca7cfd20ec73855e7bdcbcbf46 |