From f413ef7a0ddad7ce6969db1914f3c75b01051db4 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 15 Aug 2010 22:59:55 +0000
Subject: Remove superfluous spaces (re Trac #331).

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

diff --git a/coq/coq.el b/coq/coq.el
index 43a4294e..2e6444c6 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -678,9 +678,9 @@ This is specific to `coq-mode'."
   ;; Commands sent to proof engine
   (setq proof-showproof-command "Show. "
         proof-context-command "Print All. "
-        proof-goal-command "Goal %s . "
-        proof-save-command "Save %s . "
-        proof-find-theorems-command "Search %s . ")
+        proof-goal-command "Goal %s. "
+        proof-save-command "Save %s. "
+        proof-find-theorems-command "Search %s. ")
 ;; FIXME da: Does Coq have a help or about command?
 ;;	proof-info-command "Help"
 
-- 
cgit v1.2.3