#718 (Aug 28, 2018, 12:50:08 AM)

1. some NEWS (instead of proper documentation); (detail / hgweb)
2. clarified signature; (detail / hgweb)
3. simplified markup; (detail / hgweb)
4. explicit setup of operations: avoid hardwired stuff; (detail / hgweb)
5. clarified environment: allow "read>write" specification; (detail / hgweb)
6. tuned; (detail / hgweb)
7. tuned; (detail / hgweb)
8. check environment name; (detail / hgweb)
9. support named ML environments, notably "Isabelle", "SML";
   more uniform options ML_read_global, ML_write_global;
   clarified bootstrap environment; (detail / hgweb)
10. tuned; (detail / hgweb)
11. tuned; (detail / hgweb)
12. clarified signature; (detail / hgweb)
13. clarified -- prefer new 'ML_export' command; (detail / hgweb)

Started by an SCM change

This run spent:

• 6.3 sec waiting;
• 1 hr 14 min build duration;
• 1 hr 14 min total from scheduled to completion.