Started 15 days ago
Took 1 hr 42 min
on workermtahpc
Changes
Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: e414bcc5a39ea6d196e3ac41e25e492e146c05e2 | |
Revision: d8aa8cc911785f38955a087c12585dcf3374e70b |