From 3bca60006f113f2bbcc9dd8af89590c12bd56dc2 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 14 Dec 2007 00:11:20 +0000
Subject: Prevent attempt to use on XEmacs

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

diff --git a/generic/proof-maths-menu.el b/generic/proof-maths-menu.el
index 72ca55db..99e46bf2 100644
--- a/generic/proof-maths-menu.el
+++ b/generic/proof-maths-menu.el
@@ -24,6 +24,7 @@
 (defun proof-maths-menu-support-available ()
   "A test to see whether maths-menu support is available."
   (and
+   (not proof-running-on-XEmacs) ;; not XEmacs compatible
    (or (featurep 'maths-menu)
        ;; *should* always succeed unless bundled version broken
        (proof-try-require 'maths-menu))
-- 
cgit v1.2.3