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: d1767bcb79ec835777300b16e971e54b68f5691c | |
Revision: 401da3b5743dba616518e259f1d8c5ccfe6cf79e |