diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2008-01-15 16:05:10 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-15 16:05:10 +0000 |
commit | 0bae76404a77ce9c9214d644a06ba206fea08a8c (patch) | |
tree | 7dbfac515ee99965df09c488c4cfbb521d82bf95 | |
parent | d31b2387d328405396785da0c570458dd037009b (diff) |
Remove coq-utf-safe
-rw-r--r-- | coq/coq.el | 7 |
1 files changed, 2 insertions, 5 deletions
@@ -81,12 +81,9 @@ To disable coqc being called (and use only make), set this to nil." (require 'coq-syntax) (require 'coq-indent) -(defvar coq-utf-safe coq-version-is-V8-1 - "Obsolete, coq >= 8.1 does not use special symbols for delimiting prompts.") - ;; utf-8 is not yet well accepted (especially by xemacs) -;; Set to t in your .emacs to enable it. Needs to load library `un-define' to -;; work on xemacs." +;; Set to t in your .emacs to enable it. Needs to load +;; library `un-define' to work on xemacs." ;; (or (boundp 'proof-shell-unicode) (setq proof-shell-unicode nil)) ;; da: I think the default t setting now works fine, at least for me. |