diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-14 08:23:36 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-14 08:23:36 +0000 |
commit | 3f7859567fd9159daf7050fda3f5cfb57052470f (patch) | |
tree | 43a27e11a714a9f13f16e1e5150377c4e5bd5aa0 /coq/coq.el | |
parent | f443e63be5fbf240df375e760d10b34ee9976492 (diff) |
Change mode names
Diffstat (limited to 'coq/coq.el')
-rw-r--r-- | coq/coq.el | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -178,16 +178,16 @@ On Windows you might need something like: (eval-and-compile (define-derived-mode coq-shell-mode proof-shell-mode - "coq-shell" nil + "Coq Shell" nil (coq-shell-mode-config))) (eval-and-compile (define-derived-mode coq-response-mode proof-response-mode - "CoqResp" nil + "Coq Response" nil (coq-response-config))) (eval-and-compile - (define-derived-mode coq-mode proof-mode "coq" + (define-derived-mode coq-mode proof-mode "Coq" "Major mode for Coq scripts. \\{coq-mode-map}" @@ -196,7 +196,7 @@ On Windows you might need something like: (eval-and-compile (define-derived-mode coq-goals-mode proof-goals-mode - "CoqGoals" nil + "Coq Goals" nil (coq-goals-mode-config))) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |