Started 5 yr 3 mo ago
Took 1 hr 46 min
on workermta1
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 66c4567664b5538402366b1ddb7538249c64804b | |
Revision: ef212a8890d26b16808d21ca3f0b6b6c4f3556e9 |