Started 1 yr 6 mo ago
Took 3 hr 57 min
on workermtahpc
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 10945fc183cd28ffbe1004dca86c88a8b6d40986 | |
Revision: 56381425e75988c3f4a0efb0c1094b93148d508f |