#151 (Apr 15, 2016, 5:23:12 PM)

1. merged (detail / hgweb)
2. support for Poly/ML entity ids; (detail / hgweb)
3. clarified PIDE reports; (detail / hgweb)
4. clarified rendering wrt. hyperlinks; (detail / hgweb)
5. tuned -- no position; (detail / hgweb)
6. clarified focus visibility; (detail / hgweb)
7. tuned rendering; (detail / hgweb)
8. highlighting of entity def/ref positions wrt. cursor; (detail / hgweb)
9. background color for entity def/ref focus; (detail / hgweb)
10. tuned; (detail / hgweb)
11. more silence; (detail / hgweb)
12. avoid misleading Simplifier trace in quickcheck, notably in auto quickcheck; (detail / hgweb)
13. tuned; (detail / hgweb)
14. tuned; (detail / hgweb)
15. clarified context; (detail / hgweb)
16. misc tuning and standardization; (detail / hgweb)
17. tuned headers; (detail / hgweb)

Started by an SCM change