Sebastian Wild b89fcd8726 Replace Coq-Mode abbreviations with yasnippet ...

Since ProofGenerals abbreviation usage interfers with
evil-mode, this empties the abbreviation table of coq-mode.
The abbreviations got transformed into yasnippet snippets
and put into hlissner/emacs-snippets#4.

2018-10-07 09:18:25 +02:00

442 B

Raw Blame History

View Raw