#818 (Mar 26, 2024, 10:17:04 PM)

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

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

Started by an SCM change

This run spent:

• 2 min 0 sec waiting;
• 1 min 26 sec build duration;
• 3 min 26 sec total from scheduled to completion.

• refs/remotes/origin/master