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: 13bd167f4d97d7e5e4a9e2127bac79758a719267 | |
Revision: 3d82fe267f9a91ca7cfd20ec73855e7bdcbcbf46 |