Started 15 days ago
Took 5 hr 4 min
on workermtahpc
Changes
Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: a82db14570cd027edb9da02baf162ae1a37e3fdb | |
Revision: 11eb82fc73f6b3437e727a5665d9178a9ff4ce4b |