#1541 (Mar 23, 2018, 11:40:06 PM)

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)

Started by an SCM change

This run spent:

• 5 min 0 sec waiting;
• 50 min build duration;
• 55 min total from scheduled to completion.