mirror of
https://github.com/correl/melpa.git
synced 2024-11-14 11:09:31 +00:00
recipes: Add company-coq
company-coq is a company back-end that offers documentation and keywords autocompletion when editing Coq proof scripts.
This commit is contained in:
parent
0757985420
commit
42e39550a9
1 changed files with 4 additions and 0 deletions
4
recipes/company-coq
Normal file
4
recipes/company-coq
Normal file
|
@ -0,0 +1,4 @@
|
|||
(company-coq
|
||||
:repo "cpitclaudel/company-coq"
|
||||
:fetcher github
|
||||
:files (:defaults "refman"))
|
Loading…
Reference in a new issue