Started 1 mo 6 days ago
Took 4 hr 41 min
on workermtahpc
Changes
Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 4bcf3d5da98bc25379493ae27ea6b3d2f835c2a3 | |
Revision: 825e817a099270c2f3501a14c262384cb7979abb |