Started 4 yr 10 mo ago
Took 10 min
on workermta1
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 39f5db308fe0525ac47ff927f3dfbe90a39c22a1 | |
Revision: 87cfcf4d1decf54886521582535258515c47a693 |