mirror of
https://github.com/dimitri/el-get.git
synced 2024-09-29 04:58:53 +08:00
427d2a19f7
Company-coq is a collection of company-mode based extensions to Proof General's Coq mode.
8 lines
451 B
Plaintext
8 lines
451 B
Plaintext
(:name company-coq
|
|
:description "A collection of company-mode based extensions to Proof General's Coq mode. Do `M-x company-coq-tutorial' after installation to open a tutorial."
|
|
:type github
|
|
:pkgname "cpitclaudel/company-coq"
|
|
:depends (cl-lib company-math company-mode dash proof-general yasnippet)
|
|
:prepare (add-hook 'coq-mode-hook 'company-coq-mode)
|
|
:website "https://github.com/cpitclaudel/company-coq/")
|