diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2006-10-06 13:01:19 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2006-10-06 13:01:19 +0000 |
| commit | 47bb1863bb8fd2862bf609783913e5f9f16c6822 (patch) | |
| tree | c3886903505eabf6586b8d7fe2de87dfd670ab14 /coq/coq.el | |
| parent | 34b4f94476142ca42cd82104fccf25c9568a118b (diff) | |
Fix for coq-utf-safe.
Diffstat (limited to 'coq/coq.el')
| -rw-r--r-- | coq/coq.el | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -42,6 +42,7 @@ (defcustom coq-prog-args '("-emacs") "The arguments passed to coqtop, important: see `proof-prog-name'.") +(defcustom coq-utf-safe "" nil) (if coq-utf-safe (setq coq-prog-args '("-emacs-U")) (setq coq-prog-args '("-emacs"))) |