Started 2 mo 29 days ago
Took 13 min
on workermtahpc
Changes
Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: e2174bf626b8e39e68bde82b84c96abad48ae61a | |
Revision: 931936ecb4e1fff98f59dbbdfb55aadbf400af68 |