Started 19 days ago
Took 5 hr 4 min
on workermtahpc
Changes
Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 9f7214d0088443254a873b6ff7a4b81a282d820f | |
Revision: c90b2c7f278f94875331377c33dab4830dac92f8 |