#1456 (May 6, 2021, 12:50:06 AM)

1. merged (detail / hgweb)
2. tuned --- rename = dist_name is sufficient; (detail / hgweb)
3. proper dist_name; (detail / hgweb)
4. clarified option -P: allow empty argument; (detail / hgweb)
5. support for existing release archive;
   misc tuning and clarification; (detail / hgweb)
6. tuned signature; (detail / hgweb)
7. clarified signature; (detail / hgweb)
8. more website content; (detail / hgweb)
9. misc tuning and clarification: more explicit types Release_Context, Release_Archive; (detail / hgweb)
10. tuned signature; (detail / hgweb)
11. tuned theory structure (detail / hgweb)
12. more appropriate location (detail / hgweb)
13. collected lemmas on permutations (detail / hgweb)

Started by an SCM change

This run spent:

• 5.1 sec waiting;
• 1 hr 32 min build duration;
• 1 hr 32 min total from scheduled to completion.