Started 21 hr ago
Took 4 hr 17 min
on workermtahpc
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 0a098088745bcc3b83cc81d0c57d5563d90eceb6 | |
Revision: 7ee0aee653f8518e0c0d60337b6b5ed4f704b667 |