diff options
| author | David Aspinall | 1999-10-21 16:37:43 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-10-21 16:37:43 +0000 |
| commit | 484cffdfbc4e1385e35d53eda5613ce2e3b3631c (patch) | |
| tree | 6d086e6b34ef34980c439151e54a1527450d4e45 /generic/proof-config.el | |
| parent | ebd83a0749175afd6fc43623ece065d6b939ee3f (diff) | |
Changed name of proof-shell-cd-cmd for uniformity.
Diffstat (limited to 'generic/proof-config.el')
| -rw-r--r-- | generic/proof-config.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index f89d58cf..a2c34b59 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -909,7 +909,7 @@ The proof-terminal-char is added on to the end." :type '(choice string (const nil)) :group 'proof-shell) -(defcustom proof-shell-cd nil +(defcustom proof-shell-cd-cmd nil "Command to the proof assistant to change the working directory. The format character %s is replaced with the directory, and the proof-terminal-char is added on to the end. |