Coq: Difference between revisions
imported>Vbgl proofgeneral |
imported>Vbgl →ProofGeneral: evil-mode |
||
| Line 24: | Line 24: | ||
<code>(when (fboundp 'electric-indent-mode) (electric-indent-mode 0))</code> | <code>(when (fboundp 'electric-indent-mode) (electric-indent-mode 0))</code> | ||
There is an additional annoyance with evil-mode; see [https://github.com/syl20bnr/spacemacs/issues/8853#issuecomment-302706114 two] [https://github.com/ProofGeneral/PG/issues/174#issuecomment-293719295 discussions] describing a work-around, namely to include the following before loading evil-mode: | |||
<code>(setq evil-want-abbrev-expand-on-insert-exit nil)</code> | |||
== Using libraries == | == Using libraries == | ||