Started 4 yr 7 mo ago
Took 9 hr 44 min
on workerlrz5
Build Artifacts | |
Changes
Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default) Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: b3b84b71e398acb6f4890b47dca776b0c4ea96fa | |
Revision: e783400723b7cc2e1ac170512bb7c8be26bbabba |