mirror of https://github.com/doomemacs/doomemacs synced 2025-08-01 12:17:25 -05:00

Files

Henrik Lissner f95623989d lang/coq: remove unnecessary after!

For setting a variable, an after! block is overkill

2018-08-31 03:31:58 +02:00

autoload.el

2018-08-27 12:57:07 +02:00

config.el

2018-08-31 03:31:58 +02:00

packages.el

2018-08-27 12:57:07 +02:00

README.org

Updated readme

2018-08-15 08:34:21 +02:00

:lang coq

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