Started 9 days 14 hr ago
Took 18 min
on workermtahpc
Changes
Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 40a3fc07a587949f07520c1a902762dd6cdc68da | |
Revision: ecd8c892f11ebb0fb82c366ce76bd1fcb2cde8c0 |