Started 3 yr 4 mo ago
Took 24 min
on workermta1
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: b310b93563f63bbb957dee3958bc8dbb4ec0354e | |
Revision: eb0cc2599588c36e6570404cc52ecebb383328f1 |