#1872 (Jan 26, 2023, 12:50:08 AM)

1. merged (detail / hgweb)
2. tuned messages: less verbosity; (detail / hgweb)
3. prefer Other_Isabelle.init instead of adhoc scripts; (detail / hgweb)
4. tuned message, following "isabelle components -a"; (detail / hgweb)
5. clean components more accurately: purge other platforms or archives; (detail / hgweb)
6. more operations for SSH.System; (detail / hgweb)
7. clarified signature; (detail / hgweb)
8. tuned; (detail / hgweb)
9. manage other Isabelle distributions via SSH; (detail / hgweb)
10. more operations for SSH.System; (detail / hgweb)
11. recovered option -C from 092449efcb0e (still required for isabelle_cronjob.scala on Windows), but with slightly different meaning; (detail / hgweb)
12. clarified parameters (again); (detail / hgweb)
13. Some new material from the AFP (detail / hgweb)

Started by an SCM change

This run spent:

• 7.8 sec waiting;
• 1 hr 52 min build duration;
• 1 hr 52 min total from scheduled to completion.