redefined wf as an abbreviation for "wf_on UNIV"

merged

more uniform command names

tuned parameter order

shutdown lrzcloud2;

tuned NEWS

redefined wfP as an abbreviation for "wfp_on UNIV"

merged

added lemma wellorder.wfp_on_less[simp]

merged

suppress arm64-darwin, which does not support "-codegen native" (required for AFP/PAC_Checker); clarified NEWS;

update to sumatra_pdf-3.5.2;

tuned signature: fewer warnings in IntelliJ IDEA;

update to jsoup-1.17.2;

proper bib entries (amending 82aaa0d8fc3b);

update to dotnet-8.0.203;

enforce rebuild of Isabelle/ML;

update to sqlite-3.45.2.0: clarified component name, following postgresql;

activate postgresql-42.7.3;

update to postgresql-42.7.3; clarified component directory;

update to mlton-20210117-2, which covers x86_64-linux, x86_64-darwin, arm64-darwin;

isabelle update -u cite;

raise error if benchmarking fails;

option for benchmark session;

add hosts option to run benchmark on the cluster from the command-line;

only start jobs early if they are due (cf. 1966578feff8);

New material from a variety of sources (including AFP)

build component for cvc5-latest (ef2bc3f735df);

merged

try proof method "order" in Sledgehammer's proof reconstruction