Summary
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.
Versions
v1.0.1_p20220314 :: 0 :: gentoo
- Modified
- License
- GPL-3+
- Keywords
- ~amd64 ~x86
Runtime Dependencies
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
Change logs
- Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
app-emacs/company-coq: drop old 1.0.1_p20210708-r1
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
app-emacs/company-coq: guard COMMIT hash for correct snapshots
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
app-emacs: H -> COMMIT
Bug: https://github.com/pkgcore/pkgcheck/issues/536 Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
app-emacs/company-coq: bump to 1.0.1_p20220314
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - 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>