Started 4 yr 1 mo ago
Took 1 hr 45 min
on workermta1
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: a9de39608b1a887866f379b8dd05f893be10e3da | |
Revision: 81ec186eae5e9cd7f0bd307a2f5009f3fd143695 |