#1704 (May 30, 2022, 12:50:07 AM)

1. clarified signature; (detail / hgweb)
2. tuned messages; (detail / hgweb)
3. tuned whitespace; (detail / hgweb)
4. merged (detail / hgweb)
5. support to synchronize Isabelle + AFP repositories; (detail / hgweb)
6. more robust: local repository required; (detail / hgweb)
7. support option -r; (detail / hgweb)
8. omit pointless option; (detail / hgweb)
9. tuned; (detail / hgweb)
10. more documentation; (detail / hgweb)
11. support filter rules, notably "protect"; (detail / hgweb)
12. support for "isabelle hg_sync"; (detail / hgweb)
13. clarified signature; (detail / hgweb)
14. tuned comments; (detail / hgweb)
15. clarified signature; (detail / hgweb)
16. tuned signature; (detail / hgweb)
17. tuned signature; (detail / hgweb)
18. support rsync; (detail / hgweb)
19. added lemmas Multiset.bex_{least,greatest}_element (detail / hgweb)

Started by an SCM change

This run spent:

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