From e7a04f6f7d2fde4ab822da391ee4e665a2a53912 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 20 Jan 2007 14:01:46 +0000
Subject: Patch x-symbol problem with XEmacs beta

---
 lib/proof-compat.el | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/lib/proof-compat.el b/lib/proof-compat.el
index 5a7af707..f35e8d9c 100644
--- a/lib/proof-compat.el
+++ b/lib/proof-compat.el
@@ -28,7 +28,8 @@
   "Non-nil if Proof General is running on GNU Emacs 21 or later.")
 ;; rough test for XEmacs on win32, anyone know about GNU Emacs on win32?
 (defvar proof-running-on-win32 (fboundp 'win32-long-file-name)
-  "Non-nil if Proof General is running on a win32 system."))
+  "Non-nil if Proof General is running on a win32 system.")
+)
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;;
@@ -736,6 +737,15 @@ The corresponding face should be set using `edit-faces' or the
     ;; Problem confirmed in versions: 21.4.1
     (setq easy-menu-precalculate-equivalent-keybindings nil))
 
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+;;
+;; XEmacs/x-symbol compatibility for XEmacs 21.5
+;;
+;; See http://thread.gmane.org/gmane.emacs.xemacs.beta/20171/focus=20172
+
+(if (and (fboundp 'valid-specifier-tag-p)
+	 (not (valid-specifier-tag-p 'mule-fonts)))
+    (define-specifier-tag 'mule-fonts))
 
 ;; End of proof-compat.el
 (provide 'proof-compat)
-- 
cgit v1.2.3