From 2296ef09a41f225511ec63cc01a727e855708d68 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 12 Aug 2002 14:14:11 +0000
Subject: Patch for XEmacs 20.4 compat [incomplete?].

---
 generic/proof-utils.el | 1 +
 1 file changed, 1 insertion(+)

diff --git a/generic/proof-utils.el b/generic/proof-utils.el
index ce31e4ba..af357b4a 100644
--- a/generic/proof-utils.el
+++ b/generic/proof-utils.el
@@ -377,6 +377,7 @@ Returns new END value."
 	  (font-lock-set-defaults))
 	(let ((font-lock-keywords proof-font-lock-keywords))
 	  (if (and proof-running-on-XEmacs
+		   (>= emacs-major-version 21)
 		   (>= emacs-minor-version 4)
 		   (not font-lock-cache-position))
 	      (progn
-- 
cgit v1.2.3