diff options
| author | David Aspinall | 1999-10-01 11:46:59 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-10-01 11:46:59 +0000 |
| commit | d4cfabfdc68a98734fc8fb945fa9113078dd97e9 (patch) | |
| tree | 3344743ccf26d29fc554b42dd05336bfd0fe4cd6 /generic/proof-config.el | |
| parent | 9985c079f54f45020bdd5582b120ad0283a99b60 (diff) | |
Renamed some configuration variables for uniformity, see CHANGES.
Diffstat (limited to 'generic/proof-config.el')
| -rw-r--r-- | generic/proof-config.el | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index aab2e4d6..2a563855 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -437,17 +437,17 @@ command line options. For an example, see coq/coq.el." :type 'string :group 'prover-config) -(defcustom proof-ctxt-string "" +(defcustom proof-context-command "" "Command to display the context in proof assistant." :type 'string :group 'prover-config) -(defcustom proof-help-string "" - "Command to ask for help in proof assistant." +(defcustom proof-info-command "" + "Command to ask for help or information in the proof assistant." :type 'string :group 'prover-config) -(defcustom proof-prf-string "" +(defcustom proof-proof-command "" "Command to display proof state in proof assistant." :type 'string :group 'prover-config) |