#117 (Mar 31, 2016, 12:37:54 AM)

1. merged (detail / hgweb)
2. proper object-logic constraint (amending dd2914250ca7); (detail / hgweb)
3. reconcile object-logic constraint vs. mixfix constraint; (detail / hgweb)
4. more explicit support for object-logic constraint; (detail / hgweb)
5. more language markup; (detail / hgweb)
6. more accurate mixfix type constraints; (detail / hgweb)
7. tuned; (detail / hgweb)
8. tuned message; (detail / hgweb)
9. more explicit type;
   tuned; (detail / hgweb)
10. relevant check_mixfix happens further at the bottom, to avoid duplicate reports via Specification.prepare; (detail / hgweb)
11. avoid duplicate reports; (detail / hgweb)
12. tuned messages -- position is usually missing here; (detail / hgweb)
13. more PIDE markup;
    tuned; (detail / hgweb)
14. clarified modules; (detail / hgweb)
15. clarified errors: more positions; (detail / hgweb)
16. clarified simple mixfix; (detail / hgweb)
17. tuned; (detail / hgweb)
18. more operations; (detail / hgweb)
19. updated dependencies; (detail / hgweb)
20. updated to Navigator 2.6; (detail / hgweb)

Started by an SCM change