#2468 (Nov 27, 2020, 7:59:04 AM)

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

1. merge from afp-2020 (detail)
2. SC_DOM_Components website (detail)
3. entry SC_DOM_Components (detail)
4. website for Shadow_SC_DOM (detail)
5. new entry Shadow_SC_DOM (detail)
6. website for Core_SC_DOM (detail)
7. The first of Achim D. Brucker's three entries (detail)
8. fixed latex and .bib errors (detail)
9. Verified_SAT_Based_AI_Planning website [NB corrected some \cite commands and deleted some excess files] (detail)
10. Verified_SAT_Based_AI_Planning files (detail)
11. Entry for AI_Planning_Languages_Semantics, including new topic "Computer science/Artificial intelligence" and URLs for the authors (detail)
12. new entry AI_Planning_Languages_Semantics (detail)
13. sitegen and metadata for Physical Quantities (detail)
14. new Entry: Physical Quantities (detail)
15. 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:

• 2 min 0 sec waiting;
• 36 min build duration;
• 38 min total from scheduled to completion.