github/melpa
1
0
Fork 0
mirror of https://github.com/correl/melpa.git synced 2024-11-27 19:19:54 +00:00
Code Issues Projects Releases Packages Wiki Activity
melpa/recipes/company-coq

5 lines
93 B
Text
Raw Permalink Normal View History

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 02:30:03 +00:00
(company-coq
:repo "cpitclaudel/company-coq"
:fetcher github
:files (:defaults "refman"))
Reference in a new issue Copy permalink