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