Started 3 yr 7 mo ago
Took 11 min
on workermta1
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: a28a4105883f438449b8541a79b41f2f7ebeb29a | |
Revision: 59470eb9f5ab2855bdb0ae507744a7fc97744c08 |