diff options
| author | David Aspinall | 2000-05-11 14:17:47 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-11 14:17:47 +0000 |
| commit | dbaee1a57c2c8f38a5420f5f110407fc8b117bea (patch) | |
| tree | 506a9d01d8519de08ec4e973a83e1ea93dbce7f6 | |
| parent | 5f7d3f0e9a8badc4f7405391da69a9b17f66fcdb (diff) | |
Removed duplicate declaration
| -rw-r--r-- | generic/proof-config.el | 10 |
1 files changed, 0 insertions, 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) |