From fb4e1fc345c0d6b52243f8d381190b39a08b1c62 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 19 Nov 1999 17:30:39 +0000
Subject: Removed spurious defn of proof-config.el

---
 generic/proof-config.el | 10 ----------
 1 file changed, 10 deletions(-)

(limited to 'generic')

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 1f95e35a..2d4b24d4 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -1636,16 +1636,6 @@ These are evaluated and appended to `proof-splash-contents'."
 These modes will have X-Symbol enabled for the proof assistant token language,
 in addition to the four modes for Proof General (script, shell, response, pbp).
 
-Set this variable if you want additional modes to also display 
-tokens (for example, editing documentation or source code files)."
-  :type '(repeat symbol)
-  :group 'proof-x-symbol)
-
-(defcustom proof-xsym-extra-modes nil
-  "List of additional mode names to use X-Symbol with Proof General tokens.
-These modes will have X-Symbol enabled for the proof assistant token language,
-in addition to the four modes for Proof General (script, shell, response, pbp).
-
 Set this variable if you want additional modes to also display 
 tokens (for example, editing documentation or source code files)."
   :type '(repeat symbol)
-- 
cgit v1.2.3