Started 1 yr 1 mo ago
Took 15 min
on workermtahpc
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 5d3ce9f96cfdfd7a66f66c626c140b749202e172 | |
Revision: 6bc96b722875fee020b9dc666d2dc769ce8c5aab |