Back patch for XEmacs 21.4 on API change to add-hook.

1 files changed, 10 insertions, 2 deletions

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