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.

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

(limited to 'generic/proof-script.el')

diff --git a/generic/proof-script.el b/generic/proof-script.el
index e6938743..a3f0498e 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -1510,14 +1510,14 @@ Start up the proof assistant if necessary."
 
 (proof-define-assistant-command proof-prf  
   "Show the current proof state."
-  proof-prf-string)
+  proof-proof-command)
 (proof-define-assistant-command proof-ctxt 
   "Show the current context."
-  proof-ctxt-string)
+  proof-context-command)
 (proof-define-assistant-command proof-help 
   "Show a help or information message from the proof assistant.
 Typically, a list of syntax of commands available."
-  proof-help-string)
+  proof-info-command)
 
 ;;
 ;; Commands which require an argument, and maybe affect the script.
-- 
cgit v1.2.3