Started 1 yr 3 mo ago
Took 4 hr 5 min
on workermtahpc
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 1c083e32aed6380b24dd5dbe8a48ce9fcdaac73d | |
Revision: c211edfd5b6e814ef087f6588a543eba39c5a139 |