Started 1 yr 8 mo ago
Took 11 hr
on workerlrz5
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 46eea084f393c56cee7b87fb352215c6c9118822 | |
Revision: 337819a49c4b5a512bfc3b1a502bd33e2b3b56ff |