b89fcd8726
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.
6 lines
299 B
Org Mode
6 lines
299 B
Org Mode
#+TITLE: :lang coq
|
|
|
|
This module adds [[https://coq.inria.fr][coq]] support, powered by [[https://proofgeneral.github.io][Proof General]].
|
|
|
|
+ Code completion ([[https://github.com/cpitclaudel/company-coq][company-coq]])
|
|
+ [[https://github.com/hlissner/emacs-snippets/tree/master/coq-mode][Snippets]]
|