From 27f0340ed5999e8b899f827358c4fdbb08f9dd2e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 25 May 2000 20:26:25 +0000
Subject: Made x-symbol-enable be individual option.

---
 generic/proof-config.el | 17 ++++++++++++++++-
 1 file changed, 16 insertions(+), 1 deletion(-)

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 302852dc..506eb1a4 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -122,7 +122,7 @@ NB: the toolbar is only available with XEmacs."
   :set 'proof-set-value
   :group 'proof-user-options)
 
-(defcustom proof-x-symbol-enable nil
+(proof-defasscustom x-symbol-enable nil
   "*Whether to use x-symbol in Proof General buffers.
 If you activate this variable, whether or not you get x-symbol support
 depends on whether your proof assistant supports it and whether
@@ -2012,6 +2012,21 @@ of `easy-menu-define' for more details."
   :type 'sexp
   :group 'prover-config)
 
+(proof-defasscustom completion-table nil
+  "List of identifiers to use for completion for this proof assistant.
+Completion is activated with \\[complete].
+
+If this table is empty or needs adjusting, please make changes using
+`customize-variable' and send suggestions to proofgen@@dcs.ed.ac.uk."
+  :type '(list string)
+  :group 'prover-config)
+
+(proof-defasscustom tags-program nil
+  "Program to run to generate TAGS table for proof assistant."
+  :type 'file
+  :group 'prover-config)
+
+
 
 
 		     
-- 
cgit v1.2.3