Started 3 yr 9 mo ago
Took 2 hr 0 min
on workermta1
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: b8d0b8659e0a0b436ae525e96c7a0f721d039c1e | |
Revision: 40e16c53424387ea73369f98f992acbac54e5add |