Renamed some configuration variables for uniformity, see CHANGES.

1 files changed, 3 insertions, 3 deletions

diff --git a/coq/coq.el b/coq/coq.el
index 4e6767f2..c84b9719 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -425,13 +425,13 @@
   (setq proof-guess-command-line 'coq-guess-command-line)
 
   ;; Commands sent to proof engine
-  (setq proof-prf-string "Show"
-	proof-ctxt-string "Print All"
+  (setq proof-proof-command "Show"
+	proof-context-command "Print All"
 	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-help-string "Help"
+;;	proof-info-command "Help"
 	proof-kill-goal-command coq-kill-goal-command)
 
   (setq proof-goal-command-p 'coq-goal-command-p