#1705 (Jun 1, 2022, 12:50:10 AM)

1. merged (detail / hgweb)
2. insort renamings (detail / hgweb)
3. more operations;
   tuned signature; (detail / hgweb)
4. support explicit SSH port; (detail / hgweb)
5. redundant (after f28aee3ad1e6): self_update already takes care of currently active Isabelle clone; (detail / hgweb)
6. clarified options; (detail / hgweb)
7. Added lemmas (detail / hgweb)
8. merged (detail / hgweb)
9. Five slightly useful lemmas (detail / hgweb)
10. clarified option -T; (detail / hgweb)
11. preserve jars for quick testing; (detail / hgweb)
12. tuned names; (detail / hgweb)
13. clarified documentation: $ISABELLE_HOME is not a repository for regular releases; (detail / hgweb)
14. clarified command-line options; (detail / hgweb)
15. proper anchored pattern; (detail / hgweb)
16. support thorough check of file content; (detail / hgweb)
17. more documentation; (detail / hgweb)

Started by an SCM change

This run spent:

• 9.3 sec waiting;
• 1 hr 37 min build duration;
• 1 hr 37 min total from scheduled to completion.