Started 2 hr 17 min ago
Took 1 hr 6 min
on workerls21cluster
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: e10ef4f9c84847ac381ee7fe6775257bbd27b69a | |
Revision: 068d4f8c4523d5e1078e1619111dae4057345401 |