Started 3 yr 3 mo ago
Took 2 hr 38 min
on workermta1
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: d045cdbdf243318a977db8834e9ca2a5aa5d3a0c | |
Revision: 7281051707f696a060771f3e2221e547d41da6ff |