#353 (Jun 21, 2017, 12:50:10 AM)

1. deleting a code equation never leads to unimplemented function (detail / hgweb)
2. avoid ancient [code, code del] antipattern (detail / hgweb)
3. obsolete (detail / hgweb)
4. register equations stemming from extracted proofs as specification rules (detail / hgweb)
5. tuned (detail / hgweb)
6. merged (detail / hgweb)
7. tuned signature; (detail / hgweb)
8. proper treatment of empty result; (detail / hgweb)
9. clarified modules; (detail / hgweb)
10. tuned signature; (detail / hgweb)
11. provide spell-checker menu via completion commands; (detail / hgweb)
12. added commands for spell-checker dictionary; (detail / hgweb)
13. tuned signature; (detail / hgweb)
14. tuning (detail / hgweb)
15. SMT news (detail / hgweb)
16. correctly unfold applied 'let's (e.g. '(let x = a in f) b') -- and removed dead code (detail / hgweb)
17. do not print unimplemented functions (detail / hgweb)
18. dropped void values (detail / hgweb)
19. more uniform order of constructors (detail / hgweb)
20. more consistent terminology (detail / hgweb)
21. avoid name particle "the" where no selection is implied (detail / hgweb)
22. more uniform ordering and naming of sections;
    proper local function (detail / hgweb)
23. tuned internal signature (detail / hgweb)
24. more explicit constructor name (detail / hgweb)
25. tuned whitespace (detail / hgweb)
26. replaced recdef by fun (detail / hgweb)
27. spelling (detail / hgweb)

Started by an SCM change

This run spent:

• 8.5 sec waiting;
• 1 hr 20 min build duration;
• 1 hr 20 min total from scheduled to completion.