Summary
- merge from afp-2023;
- sitegen;
- change web path to /sessions/ instead of /theories/ for consistent naming scheme;
- sitegen;
- tuned: remove hugo warnings;
- tuned whitespace;
- tuned;
- sitegen;
- display only unique exact matches in topic listing;
- sitegen;
- remove automatic title capitalization;
- improve description of the submission process;
- improved path resolving in theory view;
- sitegen;
- generate theory listings for dependencies in distribution;
- sitegen;
- obtain theory html file urls from browser_info instead of hard-coded links;
- tuned;
- tuned whitespace;
- record proper entry dependencies instead of relying on coincidental session names;
- clarify chapter urls: remove from config as they are a separate concept;
- tuned;
- sitegen
- new entry ML_Unification
- Inserted another missing acknowledgement
- fix web;
- added missing files
- New entry Relational_Cardinality
- Acknowledging the Alexandria project in two entries
- Adaption to new HOL-CSP core; some stronger compactification theorems.
- Integrated many contributions by Benoit Ballenghuin. - shorter proofs in CSP - theory CSP_Induct - theory Renaming - updates on documentation
- merged
- more lit.refs
- Removal of material that had already been migrated to the repository
- added lit.ref.
- sitegen
- fix link;
- sitegen
- fix url/file encoding;
- typo
- typo
- tuned metadata
- tuned metadata
- tuned metadata
- merged
- Migration of lemmas to distribution