1 files 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"