From e0725dc19c023cfed3463c356225b77da9026a15 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 30 Jun 1999 15:45:44 +0000
Subject: Missing parentheses added.  Docstring fix.

---
 coq/coq.el | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

diff --git a/coq/coq.el b/coq/coq.el
index 8edf31ea..97f1e86c 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -79,8 +79,7 @@
   "*Command of the inferior process to change the directory.") 
 
 (defvar coq-shell-abort-goal-regexp "Current goal aborted"
-  "*Regular expression indicating that the proof of the current goal
-  has been abandoned.")
+  "*Regexp indicating that the current goal has been abandoned.")
 
 (defvar coq-shell-proof-completed-regexp "Subtree proved!"
   "*Regular expression indicating that the proof has been completed.")
@@ -112,22 +111,22 @@
 (eval-and-compile 
   (define-derived-mode coq-shell-mode proof-shell-mode
     "coq-shell" nil
-    (coq-shell-mode-config))
+    (coq-shell-mode-config)))
   
 (eval-and-compile 
   (define-derived-mode coq-response-mode proof-response-mode
   "CoqResp" nil
-    (coq-response-config))
+    (coq-response-config)))
  
 (eval-and-compile
   (define-derived-mode coq-mode proof-mode
    "coq" nil
-   (coq-mode-config))
+   (coq-mode-config)))
 
 (eval-and-compile
   (define-derived-mode coq-pbp-mode pbp-mode
     "pbp" nil
-    (coq-pbp-mode-config))
+    (coq-pbp-mode-config)))
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;   Code that's coq specific                                      ;;
-- 
cgit v1.2.3