From d4cfabfdc68a98734fc8fb945fa9113078dd97e9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 1 Oct 1999 11:46:59 +0000
Subject: Renamed some configuration variables for uniformity, see CHANGES.

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

(limited to 'coq')

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
-- 
cgit v1.2.3