diff options
| author | David Aspinall | 2010-08-15 22:59:55 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-08-15 22:59:55 +0000 |
| commit | f413ef7a0ddad7ce6969db1914f3c75b01051db4 (patch) | |
| tree | 4afc9728ea03122a5db2fe5863da029405260d0f | |
| parent | d7e3d5613783150fc69ee02e87fab1fafdfd8b6a (diff) | |
Remove superfluous spaces (re Trac #331).
| -rw-r--r-- | coq/coq.el | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -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" |