Started 3 yr 0 mo ago
Took 17 hr
on workerlrz5
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 5fa2e2786ecf0102c4bf44f231163fbe4723cc40 | |
Revision: 589a6dadfa8457e122c1ce391455d52ddc134cf2 |