Started 3 yr 6 mo ago
Took 14 min
on workermta1
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 7e90e1d178b52db53c3eb147dd3e5bff9a5cf83a | |
Revision: 054fe88b46e0be6bd769b320c29c9d729fc8ab3f |