Started 2 yr 11 mo ago
Took 10 hr
on workerlrz5
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: c973b530002512437cc79109b10d1ab54d4cbd51 | |
Revision: 0fa3d918ef8c56e5221883dac6968dff36f4764c |