Skip to content
Started 10 mo ago
Took 4 hr 11 min on workermtahpc
Success

#4475 (May 23, 2023, 6:18:22 PM)

Changes

Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

  1. Finally, the abstract metric space development (detail / hgweb)

Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

  1. Deleted a superfluous assumption. This proof is a horror (detail)
  2. merged (detail)
  3. fixed some bibliographic entries (detail)

Started by an SCM change

This run spent:

  • 3 min 19 sec waiting;
  • 4 hr 11 min build duration;
  • 4 hr 14 min total from scheduled to completion.
Revision: cec875dcc59ee05faf2316508d03b2e3729f2425
Revision: a664ef80db6a43b879d92da939788a9f0cda22bc