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/doom-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]])`
Move emacs-snippets -> doom-snippets The repo was renamed upstream. 2019-07-14 14:43:45 +02:00			`+ [[https://github.com/hlissner/doom-snippets/tree/master/coq-mode][Snippets]]`