mirror of
https://github.com/correl/melpa.git
synced 2024-11-24 19:19:52 +00:00
42e39550a9
company-coq is a company back-end that offers documentation and keywords autocompletion when editing Coq proof scripts.
4 lines
93 B
Text
4 lines
93 B
Text
(company-coq
|
|
:repo "cpitclaudel/company-coq"
|
|
:fetcher github
|
|
:files (:defaults "refman"))
|