#1354 (Dec 8, 2020, 1:11:03 AM)

1. spelling; (detail / hgweb)
2. tuned; (detail / hgweb)
3. read theory with PIDE markup from session database; (detail / hgweb)
4. clarified signature: provide XZ.Cache where Export.Entry is created; (detail / hgweb)
5. tuned signature; (detail / hgweb)
6. tuned signature; (detail / hgweb)
7. clarified exports; (detail / hgweb)
8. clarified markup (refining 1c59b555ac4a); (detail / hgweb)
9. clarified markup: support more completion, e.g. within ROOTS; (detail / hgweb)
10. more accurate markup (refining 1c59b555ac4a); (detail / hgweb)
11. tuned signature --- more operations; (detail / hgweb)

Started by an SCM change

This run spent:

• 21 min waiting;
• 1 hr 28 min build duration;
• 1 hr 49 min total from scheduled to completion.