Started 6 days 3 hr ago
Took 10 hr on workerlrz5

Build #2078 (Sep 28, 2022, 1:33:24 AM)

Build Artifacts
Expand all Collapse all
Changes

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

  1. added a couple of structured proofs (detail)
  2. More obsolete "unfold" calls (detail)
  3. getting rid of apply (unfold ...) (detail)
  4. More syntactic cleanup. LaTeX markup working (detail)
  5. more modernisation of syntax (detail)
  6. Removal of obsolete ASCII syntax (detail)
  7. clarified options; (detail)

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

  1. merge from afp-2021-1 (detail)
  2. regenerate site; (detail)
  3. afp site: minor stylistic improvements; (detail)
  4. web entry for Stalnaker_Logic (detail)
  5. new entry: Stalnaker Logic (detail)
  6. clarified options, following f2094906e491; (detail)

Started by an SCM change

This run spent:

  • 6.9 sec waiting;
  • 10 hr build duration;
  • 10 hr total from scheduled to completion.
Revision: 728f38b016c05fb8f525467ce9d403b194aafaa6
Revision: d81cfd823ae95fa189c898bf2ba24c81bc2a1637