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

#1550 (Nov 28, 2020, 1:33:11 AM)

Build Artifacts
Changes

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

  1. merged (detail)
  2. more flexible syntax for theory load commands via Isabelle/Scala; (detail)
  3. clarified theory keywords: loaded_files are determined statically in Scala, but ML needs to do it semantically;
    propagate blob src_path from Scala to ML;
    clarified signature; (detail)
  4. proper structural equality; (detail)
  5. more explicit types; (detail)
  6. unused (see 7634d33c1a79); (detail)
  7. clarified signature; (detail)
  8. clarified modules; (detail)
  9. clarified file names; (detail)
  10. tuned signature; (detail)
  11. refined syntax for bundle mixins for locale and class specifications (detail)

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

  1. opening is now a keyword (detail)
  2. sorted out lemmas (detail)
  3. 2 new devel entries: DOM_Components and Shadow_DOM (detail)
  4. merge from afp-2020 (detail)
  5. SC_DOM_Components website (detail)
  6. entry SC_DOM_Components (detail)
  7. website for Shadow_SC_DOM (detail)
  8. new entry Shadow_SC_DOM (detail)
  9. website for Core_SC_DOM (detail)
  10. The first of Achim D. Brucker's three entries (detail)
  11. fixed latex and .bib errors (detail)
  12. Verified_SAT_Based_AI_Planning website [NB corrected some \cite commands and deleted some excess files] (detail)
  13. Verified_SAT_Based_AI_Planning files (detail)
  14. Entry for AI_Planning_Languages_Semantics, including new topic "Computer science/Artificial intelligence" and URLs for the authors (detail)
  15. new entry AI_Planning_Languages_Semantics (detail)
  16. sitegen and metadata for Physical Quantities (detail)
  17. new Entry: Physical Quantities (detail)
  18. updated the email addresses of Popescu <https://www.andreipopescu.uk> and Traytel <https://traytel.bitbucket.io> (detail)

Started by an SCM change

This run spent:

  • 7.2 sec waiting;
  • 11 hr build duration;
  • 11 hr total from scheduled to completion.
Revision: 38d001186621745caa64838bfbc81fb6ff6560a8
Revision: a13bec92d3d274017b1e7c3bf699ed55eb413194