Started 1 yr 9 mo ago
Took 10 hr
on workerlrz5
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 9eeed5c424f9a7c55a29f4b8a070b53a8d7a1ec2 | |
Revision: c4f6f33e746664bc95dbe3e529eb588e29e59405 |