diff options
| author | Clément Pit-Claudel | 2021-03-17 00:34:11 -0400 |
|---|---|---|
| committer | Clément Pit-Claudel | 2021-03-17 00:36:48 -0400 |
| commit | 8ad13c2735c097238441244123214967be3894a0 (patch) | |
| tree | 93eacff64443367187f6e39220ef94769f931922 /generic/proof-script.el | |
| parent | 7844e312b2a192c4245d0d05c12908efc5730e3b (diff) | |
coq: Update coq-prettify-symbols-alist for consistency with company-coq
There's no need for ("not" . ?¬) because Coq already has a "~" for it.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions