Started 4 mo 21 days ago
Took 3 hr 20 min
on workerls21cluster
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 5db03f9276e20131e0bdfd4e80d7f71217e7a8b9 | |
Revision: 6b5f64c6b7a39cedb818195a608265a128eb6033 |