#343 (Jun 6, 2017, 12:56:55 AM)

1. HTML preview via builtin HTTP server; (detail / hgweb)
2. permissive output of XML.Text, e.g. relevant for embedded <style>; (detail / hgweb)
3. avoid Local_Theory.reset in application space (detail / hgweb)
4. tuned (detail / hgweb)
5. specific output setup is not supposed to intrude regular import theory (detail / hgweb)
6. avoid duplicate (detail / hgweb)
7. streamlined code setup for fake terms (detail / hgweb)
8. modernized (code) setup for enumeration predicates (detail / hgweb)
9. simplified setup (detail / hgweb)
10. executable domain membership checks (detail / hgweb)
11. more tests; (detail / hgweb)
12. cover more history; (detail / hgweb)
13. cover more history; (detail / hgweb)
14. uniform notion of Symbol.is_controllable (see also 265d9300d523); (detail / hgweb)

Started by an SCM change

This run spent:

• 6 min 53 sec waiting;
• 1 hr 17 min build duration;
• 1 hr 24 min total from scheduled to completion.