diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2011-08-29 16:51:50 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2011-08-29 16:51:50 +0000 |
| commit | 5c9346db0592f3b51365bf72f46003bddbaf5398 (patch) | |
| tree | 81eefc2603f6fbd88504fc400b28e351d19ad5e7 /coq | |
| parent | b10b2b54afa1c3da0af7848232897718ef41d51e (diff) | |
Non Unicode char
Diffstat (limited to 'coq')
| -rw-r--r-- | coq/coq.el | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -238,7 +238,7 @@ On Windows you might need something like: (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." +SMIE is a navigation and indentation framework available in Emacs >= 23.3." :type 'boolean :group 'coq) |