Started 3 yr 5 mo ago
Took 16 min
on workermta1
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 35d1fc20df224532fb4b9d76644dcd4aa0da1b28 | |
Revision: a9526e233fe2a54f2789ad44470f81ae2d6f577a |