Started 1 yr 2 mo ago
Took 3 hr 54 min
on workermtahpc
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 9a60c17595437d39a706fd295440c611f468f8a7 | |
Revision: 6d5f8fb53ac63cd9e1323a5bea3eb8439571f2c7 | |
Failed entries: |