diff options
| author | David Aspinall | 2000-05-25 20:26:25 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-25 20:26:25 +0000 |
| commit | 27f0340ed5999e8b899f827358c4fdbb08f9dd2e (patch) | |
| tree | 129e1d9bc14e4f36ff2d8c9dcd77885bca3b1948 | |
| parent | aded7a4f7db3494817a96b1ea763bec5a997b2b3 (diff) | |
Made x-symbol-enable be individual option.
| -rw-r--r-- | generic/proof-config.el | 17 |
1 files changed, 16 insertions, 1 deletions
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) + + |