[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: ¬ notation for not? Ref: Add a couple cells to lisp-prettify-symbols
From: |
Clément Pit--Claudel |
Subject: |
Re: ¬ notation for not? Ref: Add a couple cells to lisp-prettify-symbols-alist |
Date: |
Sun, 10 Jul 2016 16:57:45 +0200 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.8.0 |
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.
signature.asc
Description: OpenPGP digital signature
- ¬ notation for not? Ref: Add a couple cells to lisp-prettify-symbols-alist, Kaushal Modi, 2016/07/10
- Re: ¬ notation for not? Ref: Add a couple cells to lisp-prettify-symbols-alist, Mark Oteiza, 2016/07/10
- Re: ¬ notation for not? Ref: Add a couple cells to lisp-prettify-symbols-alist, Clément Pit--Claudel, 2016/07/10
- Re: ¬ notation for not? Ref: Add a couple cells to lisp-prettify-symbols-alist, Stefan Monnier, 2016/07/10
- Re: ¬ notation for not? Ref: Add a couple cells to lisp-prettify-symbols-alist,
Clément Pit--Claudel <=
- RE: ¬ notation for not? Ref: Add a couple cells to lisp-prettify-symbols-alist, Drew Adams, 2016/07/10
- Re: ¬ notation for not? Ref: Add a couple cells to lisp-prettify-symbols-alist, Mark Oteiza, 2016/07/10
- Re: ¬ notation for not? Ref: Add a couple cells to lisp-prettify-symbols-alist, Stefan Monnier, 2016/07/10
- Re: ¬ notation for not? Ref: Add a couple cells to lisp-prettify-symbols-alist, Ted Zlatanov, 2016/07/11
- Re: ¬ notation for not? Ref: Add a couple cells to lisp-prettify-symbols-alist, Stefan Monnier, 2016/07/11
Re: ¬ notation for not? Ref: Add a couple cells to lisp-prettify-symbols-alist, Clément Pit--Claudel, 2016/07/14