melpa/recipes/company-coq
Clément Pit--Claudel 42e39550a9 recipes: Add company-coq
company-coq is a company back-end that offers documentation and keywords
autocompletion when editing Coq proof scripts.
2015-02-27 13:37:35 -05:00

4 lines
93 B
Text

(company-coq
:repo "cpitclaudel/company-coq"
:fetcher github
:files (:defaults "refman"))