app-emacs / company-coq

Collection of extensions for Proof General's Coq mode

Official package sites : https://github.com/cpitclaudel/company-coq/ ·

Company-Coq is a new Emacs package that extends Proof General with a contextual auto-completion engine for Coq proofs and many additional facilities to make writing proofs easier and more efficient. Beyond fuzzy auto-completion of tactics, options, module names, and local definitions, company-coq offers offline in-editor documentation, convenient snippets, and multiple other Coq-specific IDE features.

v1.0.1_p20210708-r1 :: 0 :: gentoo

Modified
License
GPL-3+
Keywords
~amd64 ~x86

app-editors / emacs : The extensible, customizable, self-documenting real-time display editor

app-emacs / company-math : Completion back-ends for for math unicode symbols and latex tags

app-emacs / company-mode : In-buffer completion front-end

app-emacs / dash : A modern list library for Emacs

app-emacs / proofgeneral : A generic interface for proof assistants

app-emacs / yasnippet : Yet another snippet extension for Emacs

Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
app-emacs/company-coq: add company-coq-mode hook to coq-mode
Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Maciej Barć · gentoo
app-emacs/company-coq: add proofgeneral runtime dependency
because it is needed to add hook to coq-mode provided by PG Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
app-emacs/company-coq: new package; add 1.0.1_p20210708
2021.07.08 snapshot Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>