Started 5 yr 1 mo ago
Took 1 hr 46 min
on workermta1
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 72301e1457b9c48b445f03571efebab09efb6aaf | |
Revision: bc1132da8c040a45549033c630c49034b71936d3 |