Started 11 mo ago
Took 4 hr 11 min
on workermtahpc
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 163e4835a8db3f0b1060c1c06a2b3c7cadce52cc | |
Revision: fccdd28b5d846b6d4859489cb4ecdefb47212171 |