awesome-emacs/doomemacs
1
0
Fork 0
mirror of https://github.com/doomemacs/doomemacs synced 2025-08-01 12:17:25 -05:00
Code Issues Packages Projects Releases Wiki Activity

lang/coq: tab-width = proof-indent

Browse Source
This commit is contained in:
Henrik Lissner
2019-10-19 04:00:27 -04:00
parent 679b16a22e
commit 22ae9cca15
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
modules/lang/coq/config.el
View File

@ -15,6 +15,10 @@
;;;###package coq ;;;###package coq
(setq proof-electric-terminator-enable t) (setq proof-electric-terminator-enable t)
;; Doom syncs other indent variables with `tab-width'; we are trusting major
;; modes to set it -- which most of them do -- but coq-mode doesn't, so...
(setq-hook! 'coq-mode-hook tab-width proof-indent)
;; We've replaced coq-mode abbrevs with yasnippet snippets (in the snippets ;; We've replaced coq-mode abbrevs with yasnippet snippets (in the snippets
;; library included with Doom). ;; library included with Doom).
(setq coq-mode-abbrev-table '()) (setq coq-mode-abbrev-table '())