diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2011-06-10 16:10:19 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2011-06-10 16:10:19 +0000 |
| commit | 98820ae1d0513b9cc882cb0b43b538f2edfffa46 (patch) | |
| tree | 77a28c98f640fe9b01f7b360403394863f3a0001 /coq | |
| parent | 0779f6631f2db022f37aace50b2747be2d70a744 (diff) | |
Unplug smie cindentation code for this release.
Diffstat (limited to 'coq')
| -rw-r--r-- | coq/coq.el | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -219,7 +219,7 @@ On Windows you might need something like: ;; Indentation and navigation support via SMIE. -(defcustom coq-use-smie t +(defcustom coq-use-smie nil "If non-nil, Coq mode will try to use SMIE for indentation. SMIE is a navigation and indentation framework available in Emacs ≥ 23.3." :type 'boolean |