From cce6ae51a189d31d5a26748efbe3ca24166be572 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 13 Apr 2004 12:52:28 +0000
Subject: Disable any other x-symbol packages found by XEmacs (uses defadvice)

---
 generic/proof-site.el | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/generic/proof-site.el b/generic/proof-site.el
index 653f2695..fe2425c2 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -397,5 +397,18 @@ proof-assistant-table."
 (defvar proof-running-on-win32 (fboundp 'win32-long-file-name)
   "Non-nil if Proof General is running on a win32 system."))
 
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+;;;
+;;; Disable any other XEmacs x-symbol packages: we load ours manually
+;;;
+
+(if proof-running-on-XEmacs
+(defadvice packages-new-autoloads (after ignore-other-x-symbols activate)
+  (setq ad-return-value 
+	(delete-if (lambda (pkg)
+		     (string-match "x-symbol" pkg))
+		   ad-return-value))))
+
+
 (provide 'proof-site))
 ;; proof-site.el ends here
-- 
cgit v1.2.3