From 3f7859567fd9159daf7050fda3f5cfb57052470f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 14 Sep 2009 08:23:36 +0000
Subject: Change mode names

---
 coq/coq.el | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/coq/coq.el b/coq/coq.el
index b7b751b9..0e551c9a 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -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)))
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-- 
cgit v1.2.3