Started 1 yr 8 mo ago
Took 44 min
on workermtahpc
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 5e00c5ffc040fc83d62acb79d29ac9727c36cce0 | |
Revision: 41e13807223424810ad0ce94599fea503f4f311c |