Started 5 yr 0 mo ago
Took 1 hr 31 min
on workermta1
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: a7aba6db79a143c5a47e0cfadc01c50e155f6403 | |
Revision: e9a7b2a763bc9a025c90ece24b2ddbb96432bd31 |