Revision fdf7095e856c3c13a54baee5d942d14e96f7fb4d

Package: emacs-company-coq @ 1.0.1

Synopsis

Emacs extensions for Proof General's Coq mode

Description

This package includes a collection of Company mode backends for Proof-General's Coq mode, and many useful extensions to Proof-General. It features:

• Prettification of operators, types, and subscripts,

• Auto-completion,

• Insertion of cases,

• Fully explicit intros,

• Outlines, code folding, and jumping to definition,

• Help with errors,

• and more.

Home page

https://github.com/cpitclaudel/company-coq

Location

gnu/packages/emacs-xyz.scm (line: 5367, column: 2)

License

• GPL 3+

Derivations

Lint warnings