Started 2 yr 6 mo ago
Took 47 min
on workermtahpc
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: adb10e840b712031d08ed4472315c33b0b4973b5 | |
Revision: 3c6fcf371feb9b2ddb300d243505a4ef54d21644 |