From fc88176434943d97814fb1b071e57e8907d38957 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 11 May 2000 14:21:11 +0000
Subject: Compatibility hack

---
 generic/proof-utils.el | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

diff --git a/generic/proof-utils.el b/generic/proof-utils.el
index 5a666510..7c8cfa54 100644
--- a/generic/proof-utils.el
+++ b/generic/proof-utils.el
@@ -383,7 +383,8 @@ Returns non-nil if response buffer was cleared."
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;
 ;; Stuff for developing PG, not needed for ordinary users really.
-;; 
+;; [Could consider moving this to a new file `proof-devel.el']
+;;
 
 (put 'proof-if-setting-configured 'lisp-indent-function 1)
 (put 'proof-define-assistant-command 'lisp-indent-function 'defun)
@@ -406,9 +407,12 @@ Returns non-nil if response buffer was cleared."
 	     (t 'font-lock-function-name-face))
        nil t)))
 
-(setq lisp-font-lock-keywords 
-      (append proof-extra-fls
-	      lisp-font-lock-keywords))
+;; This doesn't work for FSF's font lock, developers should use
+;; XEmacs!
+(if (boundp 'lisp-font-lock-keywords)	; compatibility hack
+    (setq lisp-font-lock-keywords 
+	  (append proof-extra-fls
+		  lisp-font-lock-keywords)))
        
 (setq autoload-package-name "proof")
 (setq generated-autoload-file "proof-autoloads.el")
-- 
cgit v1.2.3