Started 10 mo ago
Took 1 hr 53 min
on workermtahpc
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: e72884b2da040f91d0ad3fec3b79bec8fe03b808 | |
Revision: fccdd28b5d846b6d4859489cb4ecdefb47212171 |