diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1998-10-23 10:02:31 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-23 10:02:31 +0000 |
commit | e5c96b5a60eec1a64de3fd93d0d21e867a09c0f5 (patch) | |
tree | e448cb91ec00e6862f41fabb84c3b84ea6c354aa /coq/coq.el | |
parent | 46620558210c52a6ca510a77f2ae3bfc48941a05 (diff) |
Added proof-mode-for-script setting.
Diffstat (limited to 'coq/coq.el')
-rw-r--r-- | coq/coq.el | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -329,6 +329,8 @@ (setq proof-www-home-page coq-www-home-page) + (setq proof-mode-for-script 'coq-mode) + (setq proof-prf-string "Show" proof-ctxt-string "Print All" proof-help-string "Help") |