Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- merged
- more flexible syntax for theory load commands via Isabelle/Scala;
- 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;
- proper structural equality;
- more explicit types;
- unused (see 7634d33c1a79);
- clarified signature;
- clarified modules;
- clarified file names;
- tuned signature;
- refined syntax for bundle mixins for locale and class specifications
Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)
Summary
- opening is now a keyword
- sorted out lemmas
- 2 new devel entries: DOM_Components and Shadow_DOM
- 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>