Summary
- tuned;
- removed unused/obsolete material: some of it was motivated by Isabelle/MMT (e.g. f150253cb201), but is superseded by AFP metadata (TOML);
- clarified signature;
- clarified modules: more official Sessions.notable_groups;
- tuned
- merged
- An assortment of new material, mostly due to Manuel
- rebuild rsync-3.2.7 on current platforms, including native arm64-darwin; provide official etc/platforms.props, to retain platform directories after Components.Directory.clean() -- e.g. for SSH upload;
- tuned signature;
- tuned;
- tuned signature;
- merged
- added lemma wfp_on_image and author name to theory