Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)
Summary
- merge from afp-2020
- SC_DOM_Components website
- entry SC_DOM_Components
- website for Shadow_SC_DOM
- new entry Shadow_SC_DOM
- website for Core_SC_DOM
- The first of Achim D. Brucker's three entries
- fixed latex and .bib errors
- Verified_SAT_Based_AI_Planning website [NB corrected some \cite commands and deleted some excess files]
- Verified_SAT_Based_AI_Planning files
- Entry for AI_Planning_Languages_Semantics, including new topic "Computer science/Artificial intelligence" and URLs for the authors
- new entry AI_Planning_Languages_Semantics
- sitegen and metadata for Physical Quantities
- new Entry: Physical Quantities
- updated the email addresses of Popescu <https://www.andreipopescu.uk> and Traytel <https://traytel.bitbucket.io>