On 2016-07-10 16:44, Stefan Monnier wrote:
> (e.g. the
> format of prettify-symbols-alist is likely to be extended in ways which
> are inconvenient for an end-user, and if the end-user customizes his
> var he won't benefit from later improved defaults).

In company-coq I have a base list, and two extra variables that are expected to be set file-locally and directory-locally, which are merged upon initialization of the minor mode with the base list.