Started 1 yr 6 mo ago
Took 14 min
on workermtahpc
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 1f2e78b7df933ed17d934f08382da2ef78c181e1 | |
Revision: 4763f470b77dcd404a90af576acb34106d877890 | |
Failed entries: |