From 0bae76404a77ce9c9214d644a06ba206fea08a8c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 15 Jan 2008 16:05:10 +0000
Subject: Remove coq-utf-safe

---
 coq/coq.el | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/coq/coq.el b/coq/coq.el
index b33fab02..05ffbe6e 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -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.
 
-- 
cgit v1.2.3