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