From dbaee1a57c2c8f38a5420f5f110407fc8b117bea Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 11 May 2000 14:17:47 +0000
Subject: Removed duplicate declaration

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

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 23bc3ff3..f94d96ec 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -607,16 +607,6 @@ proof-assistant-table."
   :type 'sexp
   :group 'prover-config)
 
-(defcustom proof-assistant-symbol nil
-  "Symbol name of the proof assistant Proof General is using.
-Used for automatic configuration based on standard variable names.
-Settings will be found by looking for names beginning with this
-symbol as a prefix.
-Do not change this variable! It is set automatically by the mode 
-stub defined in proof-site, from the symbols given in 
-proof-assistant-table."
-  :type 'sexp
-  :group 'prover-config)
 
 
 
-- 
cgit v1.2.3