Started 1 yr 7 mo ago
Took 11 hr
on workerlrz5
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 83d465d71fc6287d9736b47d94828044720e1fa8 | |
Revision: 59b24f0e98b1627cdd61fcda979add26388c9b87 |