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.

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

(limited to 'isa')

diff --git a/isa/isa.el b/isa/isa.el
index 2bb32142..d84a42b5 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -128,11 +128,11 @@ no regular or easily discernable structure."
    proof-indent-commands-regexp	(proof-ids-to-regexp isa-keywords)
    
    ;; proof engine commands
-   proof-prf-string		"pr()"
+   proof-proof-command		"pr()"
    proof-goal-command		"Goal \"%s\";"
    proof-save-command		"qed \"%s\";"
-   proof-ctxt-string		"ProofGeneral.show_context()"
-   proof-help-string		"ProofGeneral.help()"
+   proof-context-command		"ProofGeneral.show_context()"
+   proof-info-command		"ProofGeneral.help()"
    proof-kill-goal-command	"ProofGeneral.kill_goal();"
    proof-find-theorems-command  "ProofGeneral.thms_containing [\"%s\"]"
    ;; command hooks
-- 
cgit v1.2.3