Skip to content
Started 4 yr 11 mo ago
Took 18 hr on workerlrz5
Success

#1082 (Apr 21, 2019, 1:33:09 AM)

Build Artifacts
Changes

Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)

  1. more distinctive theory structure (detail)
  2. clarified notation (detail)

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

  1. clarified notation (detail)

Started by an SCM change

This run spent:

  • 5 sec waiting;
  • 18 hr build duration;
  • 18 hr total from scheduled to completion.
Revision: ac1706cdde25403d06c61b87dae96e6b6fdf2d94
Revision: 91971ca6ad5e5aff052b87af49e702c752125b90