From b8181856bf700074a8ef0cc906a76ba1ae69ab81 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 25 Jan 2008 16:05:25 +0000
Subject: Back patch for XEmacs 21.4 on API change to add-hook.

---
 lib/proof-compat.el | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

(limited to 'lib')

diff --git a/lib/proof-compat.el b/lib/proof-compat.el
index 935d9470..3daed534 100644
--- a/lib/proof-compat.el
+++ b/lib/proof-compat.el
@@ -90,8 +90,16 @@ with `path-separator'."
       (split-string path (regexp-quote path-separator))))
 
 
-
-
+;; Compatibility with XEmacs 21.4, API change in add-hook
+(when
+    ((and (featurep 'xemacs)
+	  (eq emacs-major-version 21)
+	  (<= emacs-minor-version 4)))
+     
+  (defun add-hook (hook function &optional append local)
+    (if local (make-local-hook hook))
+    (add-hook hook function append local)))
+     
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;;
 ;;; XEmacs compatibility with GNU Emacs
-- 
cgit v1.2.3