diff options
| author | David Aspinall | 1998-11-18 15:31:01 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-18 15:31:01 +0000 |
| commit | d670239ea195c853645fd159b39f5211908d8923 (patch) | |
| tree | 6cfb00375036e03b5cc4c139c75525754bbc0d97 | |
| parent | 0edb248cfa17eb96e8d5ec854550016b6feea2ba (diff) | |
Buggy default for proof-mode-for-script
| -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 e2dedb1d..93aecb87 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -322,7 +322,7 @@ Suggestion: this can be set in proof-pre-shell-start-hook." :type 'function :group 'prover-config) -(defcustom proof-mode-for-script 'ignore +(defcustom proof-mode-for-script 'proof-mode "Mode for proof script buffers. This is used by Proof General to find out which buffers contain proof scripts. |