diff options
| author | Stefan Monnier | 2014-06-02 21:14:10 +0000 |
|---|---|---|
| committer | Stefan Monnier | 2014-06-02 21:14:10 +0000 |
| commit | 2ddd31c9984044e16a5bf5e1745fe9d33f8255a4 (patch) | |
| tree | b0d435e388b38d0a9e2d39dab8e903359b710356 /lib | |
| parent | bafdaf6497e31c9157353ea56a9c1fb687554629 (diff) | |
* coq.el (coq-prettify-symbols-alist): New var.
(coq-mode-config): Use it.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions