Changes

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

Summary

1. more robust XML body: allow empty text, as well as arbitrary pro-forma markup (e.g. see XML.blob in Isabelle/ML);
2. more robust: untyped/unscoped markup elements need to reside in module Markup for minimal static checking (see also 11a1f4d7af51);
3. misc tuning for release;
4. merged;
5. NEWS for "isabelle go_setup";
6. proper platform_path for Windows;
7. misc tuning, following go_setup;
8. dynamic setup of Go component, similar to Dotnet;
9. tuned comments;
10. clarified signature: more operations;
11. clarified signature: explicit type Platform.Info with derived operations;
12. less ambitious parallelism: avoid exhaustion of memory (64GB total);
13. provide ISABELLE_DOTNET_VERSION via settings, following "isabelle ghc_setup";
14. tuned;
15. tuned messages;
16. update to bash_process-20240326;
17. build bash_process in Isabelle/Scala, with etc/platforms.prop to preserve all platform directories (e.g. for SSH upload);
18. clarified meaning of platform.props: update on default;
19. allow raw input in HTML (e.g., for web applications);
20. added lemmas wfp_on_inv_imagep, wfp_on_if_convertible_to_wfp_on, and wf_on_if_convertible_to_wf_on
21. merged
22. added lemma wf_on_iff_wf
23. changed number of consumed assumptions of wf_on_induct and wfp_on_induct

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

Summary

1. adapt to Isabelle/11a1f4d7af51;
2. use emph instead of italic;
3. tuned;
4. clarified names;
5. tuned lemmas
6. merged
7. removed stuff moved to the Isabelle distribution
8. avoid java.net.URL, following Isabelle/a4118f530263;
9. updated: standard Borel