Started 1 yr 0 mo ago
Took 10 min
on workermtahpc
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: fea7bc828b8bf2ce8a3e2e309a44d939f1d76028 | |
Revision: b5968e0969d76d33afc3fef71e951e3555e4a4b2 |