Started 1 yr 9 mo ago
Took 3 hr 33 min
on workermtahpc
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: aa0403e5535fda8fe60a974e033bd5e414546547 | |
Revision: 365c3d8497ce586a05a3b0c31a086d45ad7e0272 |