diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2006-12-13 14:10:36 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2006-12-13 14:10:36 +0000 |
| commit | 10cd6f2061e8c35a6f6cb0a07772cf6dad0de43f (patch) | |
| tree | 8ffd21f5a59ba763aa40b481f202ed8da00be71f /coq/coq.el | |
| parent | c8496375c8bafbbcdfd4cc346a87c031d0b0254c (diff) | |
Added completion to coq-prog-name asking.
Diffstat (limited to 'coq/coq.el')
| -rw-r--r-- | coq/coq.el | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -66,7 +66,9 @@ To disable coqc being called (and use only make), set this to nil." (require 'coq-syntax) (require 'coq-indent) -(defcustom coq-utf-safe "" nil) +(defcustom coq-utf-safe nil + "Should be t if one wants no multibyte characters be used for +controling coq prompt. Only for coq >= 8.1 (and 8.1 beta)") (if (and coq-utf-safe coq-version-is-V8-1) (setq coq-prog-args '("-emacs-U")) (setq coq-prog-args '("-emacs"))) |