Started 11 mo ago
Took 1 hr 32 min
on workermtahpc
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 37894dff0111101415bedcc88781707580944b06 | |
Revision: 8c220a4fb5ab9297c611cde7194f03c3516708ff |