doomemacs/modules/lang/coq/README.org

#+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]]
Added readme. 2018-08-14 23:30:20 +02:00			`#+TITLE: :lang coq`

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-06 23:45:09 +02:00			`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]]`