History

Patrick Elliott 5bfaabd99b Proof-general is now on melpa		2018-09-06 01:29:01 +02:00
..
autoload.el
config.el
packages.el
README.org

:lang coq

This module adds coq support, powered by Proof General, with code completion via company-coq.