Started 3 yr 0 mo ago
Took 10 hr
on workerlrz5
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default) | |
This run spent:
| |
Revision: c642c3cbbf0eefa3cf892e5ac2144120b86abbc4 | |
Revision: a32a854490942abfbba45290ccbd2934c30a4e84 |