#1159 (Apr 2, 2020, 1:05:35 AM)

1. merged (detail / hgweb)
2. more robust: process stdout on Windows may contain CR; (detail / hgweb)
3. clarified signature;
   more inlined protocol messages; (detail / hgweb)
4. prefer system option: easier to make it default; (detail / hgweb)
5. support multiple sessions, notably for "isabelle build -P -j2"; (detail / hgweb)
6. pretty formatting as in Isabelle/ML; (detail / hgweb)
7. output prover messages; (detail / hgweb)
8. clarified signature; (detail / hgweb)
9. clarified signature: more robust; (detail / hgweb)
10. proper parent base; (detail / hgweb)
11. traditional print_mode for batch build; (detail / hgweb)
12. proper support for "isabelle build -P Pure"; (detail / hgweb)
13. clarified signature: more robust bootstrap base; (detail / hgweb)
14. proper startup for Pure: its use_prelude produces stdout before stderr protocol init; (detail / hgweb)
15. proper context for loading Pure; (detail / hgweb)
16. clarified signature of ML_Process vs. Isabelle_Process: proper support for "isabelle build -P -b"; (detail / hgweb)
17. close socket explicitly (idempotent); (detail / hgweb)
18. more robust message_context and shutdown, e.g. after errors in protocol loop (see also 3f02bc5a5a03); (detail / hgweb)
19. simplified code and proofs (detail / hgweb)
20. automated proof (detail / hgweb)

Started by an SCM change

This run spent:

• 15 min waiting;
• 1 hr 21 min build duration;
• 1 hr 36 min total from scheduled to completion.