#1235 (Jul 17, 2020, 1:00:31 AM)

1. support native PID for ML process; (detail / hgweb)
2. merged (detail / hgweb)
3. clarified theory data: more robust merge; (detail / hgweb)
4. proper import sessions; (detail / hgweb)
5. more thorough extend/merge (for Theory.join_theory); (detail / hgweb)
6. more thorough extend/merge (for Theory.join_theory); (detail / hgweb)
7. more thorough extend/merge (for Theory.join_theory); (detail / hgweb)
8. more thorough extend/merge, notably for master_dir across Theory.join_theory (e.g. for @{file} antiquotation); (detail / hgweb)
9. more robust: avoid potential problems with encoding of directory name; (detail / hgweb)
10. tuned grouping (detail / hgweb)
11. yet another alias (detail / hgweb)

Started by an SCM change

This run spent:

• 10 min waiting;
• 1 hr 26 min build duration;
• 1 hr 36 min total from scheduled to completion.