Started 4 yr 8 mo ago
Took 1 hr 10 min
on workermta1
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 295609359b5838744a9e109e68de863125cec079 | |
Revision: 54f6a4f1d8a3f2981e21bc369f1104670431a716 |