Started 18 days ago
Took 15 min
on workermtahpc
Changes
Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: c0d689c4fd151973954199cea481dfd4b9829e04 | |
Revision: 9bff600ba0bcd6c7a2d50ce8db62324c42b6a19a |