Started 1 yr 10 mo ago
Took 44 min
on workermtahpc
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: d7595b12b9ea7f41de025a7b515cd79447082e4f | |
Revision: c4f6f33e746664bc95dbe3e529eb588e29e59405 |