From e7d7e7e44f2ef8563a3eada5c994fdeeeb56f42e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 18 Sep 2000 14:16:53 +0000
Subject: Added bug fix section and patch for undefined
 font-lock-preprocessor-face in FSF Emacs.

---
 generic/proof-compat.el | 13 +++++++++++--
 1 file changed, 11 insertions(+), 2 deletions(-)

(limited to 'generic')

diff --git a/generic/proof-compat.el b/generic/proof-compat.el
index 8bf90643..a7d4a8af 100644
--- a/generic/proof-compat.el
+++ b/generic/proof-compat.el
@@ -233,8 +233,17 @@ Otherwise treat \\ in NEWTEXT string as special:
 
 
 
-;; FIXME: todo: keybinding compat here, esp for mouse.
-;; See Isamode and emu.el for ideas.
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+;;;
+;;; Nasty: Emacs bug/problem fix section
+;;;
+
+
+;; Error in FSF emacs that this is undefined.  I haven't time to
+;; investigate why.
+(unless proof-running-on-XEmacs
+  (defvar font-lock-preprocessor-face nil))
+
 
 
 ;; End of proof-compat.el
-- 
cgit v1.2.3