Started 1 yr 1 mo ago
Took 26 sec
on workerls211
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: fea7bc828b8bf2ce8a3e2e309a44d939f1d76028 | |
Revision: b5968e0969d76d33afc3fef71e951e3555e4a4b2 | |
Revision: 5f4aa37e3b486e6a77ccd50520939ea51d40ed9d
Repository: https://github.com/isabelle-prover/isabelle-context-build.git
|