#587 (Mar 24, 2018, 12:50:11 AM)

1. added command "purge_theories";
   proper documentation: command "use_theories" is asynchronous; (detail / hgweb)
2. clarified signature -- eliminated somewhat pointless positions; (detail / hgweb)
3. clarified signature -- more like use_theories; (detail / hgweb)
4. clarified; (detail / hgweb)
5. removed somewhat pointless argument; (detail / hgweb)
6. support for purge_theories; (detail / hgweb)
7. clarified signature; (detail / hgweb)
8. tuned; (detail / hgweb)
9. more robust timing info: do not rely on order of markup; (detail / hgweb)
10. clarified signature; (detail / hgweb)
11. field "kind" is always present, with default "writeln"; (detail / hgweb)
12. merged (detail / hgweb)
13. eliminated "elems" (detail / hgweb)
14. NEWS and CONTRIBUTORS (detail / hgweb)

Started by an SCM change

This run spent:

• 5.8 sec waiting;
• 1 hr 12 min build duration;
• 1 hr 13 min total from scheduled to completion.