Changes

Changes from Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)

Summary

1. obsolete: base-line is macOS 11;
2. more robust: always assume x86_64 (or its emulation on ARM);
3. MLton lacks arm64-linux (see also 84f2d481d6d7);
4. more ambitious test "AFP (macOS 14 Sonoma, Apple Silicon)", as replacement for AFP on lrzcloud2;
5. update to stack-2.15.3, stackage-lts-22.6, ghc-9.6.4;
6. tuned;
7. merged
8. misc updates, tuning and clarification;
9. reformat source in jEdit (wrap margin 78);
10. more accurate Markdown formatting, both for VSCode and Phabricator;
11. just one README.md;
12. tuned
13. merged
14. more accurate platform directories: pkg/tool structure is hardwired in "go";
15. support for etc/platform.props, to specify multi-platform directory structure more accurately;
16. clarified signature;
17. tuned;
18. clarified modules;
19. clarified modules;
20. build Isabelle component for Go: all platforms;
21. misc tuning;
22. just one copy of darwin-universal.tar.gz;
23. documented running time function framework by Jonas Stahl
24. merged
25. redefined wf as an abbreviation for "wf_on UNIV"

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

1. use time_fun command
2. merged
3. Splay tree analysis now uses time_fun command
4. tuned proofs to reduce verification time following Isabelle/7735645667f0
5. merge
6. feat(Transport) major improvement of overloaded properties + new relational properties
7. fix(ML_Unification) replace binders before aeconv (avoids lowering)
8. feat(ML_Unification) add simplification+unification unifier; fix context merge bug for uhints; cleaner code
9. merged
10. adapted to new definition of wf following Isabelle/033f90dc441d