Started 2 yr 0 mo ago
Took 3 hr 26 min
on workermtahpc
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 3fad59705ab7257c8febdc87ad4ce924de6d6a19 | |
Revision: 0f9739670445dc865c616d7b08c56e1a6bfdaa08 |