History

Henrik Lissner 84af639fc3 set-popup-rules! -> set-popup-rule! Semantic refactor. Also adjusts regexp to use non-capturing group (for slight performance benefit).		2018-12-03 22:23:57 -05:00
..
autoload.el	Only make company features conditional	2018-08-27 12:57:07 +02:00
config.el	set-popup-rules! -> set-popup-rule!	2018-12-03 22:23:57 -05:00
packages.el	Proof-general is now on melpa	2018-09-06 01:29:01 +02:00
README.org	Replace Coq-Mode abbreviations with yasnippet	2018-10-07 09:18:25 +02:00

:lang coq

This module adds coq support, powered by Proof General.