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

Files

Henrik Lissner 566d54d984 Disable continue-comments-on-RET in ess-r-mode & coq-mode

Fixes #2081, #2233

2019-12-27 13:32:24 -05:00

config.el

2019-12-27 13:32:24 -05:00

packages.el

2018-09-06 01:29:01 +02:00

README.org

2019-07-14 17:05:48 +02:00

:lang coq

This module adds coq support, powered by Proof General.