Started 17 days ago
Took 3 hr 24 min
on workermtahpc
Changes
Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 83fa23ca40e55c7a8f5e4d539b55ac103d1391dd | |
Revision: f96cdc08e452ce00a2dc90a8f2afc3aa075dd8ba |