From 73dd57e66a9a272dd6ed98428cd1803dd3b497d8 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Tue, 23 Dec 2014 00:09:00 +0000
Subject: fixed comilation of prettify setting.

---
 coq/coq.el | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

diff --git a/coq/coq.el b/coq/coq.el
index 76fb4fb4..466b473e 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -29,6 +29,10 @@
   (defvar coq-use-project-file t)        ; defpacustom
   (defvar coq-use-editing-holes nil)    ; defpacustom
   (defvar coq-hide-additional-subgoals nil) ; defpacustom
+  (defvar coq-may-use-prettify nil) ; may become t below
+  (if (fboundp 'prettify-symbols-mode)
+      (defvar coq-may-use-prettify t)
+    (defvar prettify-symbols-alist nil))
   (proof-ready-for-assistant 'coq))     ; compile for coq
 
 (require 'proof)
@@ -1407,9 +1411,10 @@ Warning:
            (cons coq-tags tags-table-list)))
   
   (set (make-local-variable 'blink-matching-paren-dont-ignore-comments) t)
-; xemacs related, remove?
-;  (set (make-local-variable 'prettify-symbols-alist)
-;       coq-prettify-symbols-alist)
+
+  (when coq-may-use-prettify
+    (set (make-local-variable 'prettify-symbols-alist)
+         coq-prettify-symbols-alist))
 
   (setq proof-cannot-reopen-processed-files nil)
 
-- 
cgit v1.2.3