#1011 (Mar 27, 2024, 11:51:11 AM)

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

Started by an SCM change

This run spent:

• 9.1 sec waiting;
• 5 hr 9 min build duration;
• 5 hr 9 min total from scheduled to completion.

• Continued_Fractions