allow raw input in HTML (e.g., for web applications);

added lemmas wfp_on_inv_imagep, wfp_on_if_convertible_to_wfp_on, and wf_on_if_convertible_to_wf_on

merged

added lemma wf_on_iff_wf

changed number of consumed assumptions of wf_on_induct and wfp_on_induct

obsolete: base-line is macOS 11;

more robust: always assume x86_64 (or its emulation on ARM);

MLton lacks arm64-linux (see also 84f2d481d6d7);

more ambitious test "AFP (macOS 14 Sonoma, Apple Silicon)", as replacement for AFP on lrzcloud2;

update to stack-2.15.3, stackage-lts-22.6, ghc-9.6.4;

tuned;

merged

misc updates, tuning and clarification;

reformat source in jEdit (wrap margin 78);

more accurate Markdown formatting, both for VSCode and Phabricator;

just one README.md;

tuned

merged

more accurate platform directories: pkg/tool structure is hardwired in "go";

support for etc/platform.props, to specify multi-platform directory structure more accurately;

clarified signature;

tuned;

clarified modules;

clarified modules;

build Isabelle component for Go: all platforms;

misc tuning;

just one copy of darwin-universal.tar.gz;

documented running time function framework by Jonas Stahl