Started 10 mo ago
Took 11 sec
on workerls211
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 37085099e4151fb0c8684de7322fe93890857013 | |
Revision: ad29f283d9c5d7d35480981802e11c24fc52f5d7 | |
Revision: 5f4aa37e3b486e6a77ccd50520939ea51d40ed9d
Repository: https://github.com/isabelle-prover/isabelle-context-build.git
|