Started 1 yr 3 mo ago
Took 4 hr 2 min
on workermtahpc
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 0c073854e6cea441c3b5c66c28b5d52a4c847ec7 | |
Revision: 444d95abecee11d435a235258b65dcd7507661fd |