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.

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

(limited to 'isar')

diff --git a/isar/isar.el b/isar/isar.el
index 0b01bd34..1c529bc3 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -158,11 +158,11 @@
    proof-save-with-hole-regexp  isar-save-with-hole-regexp
    proof-indent-commands-regexp	isar-indent-regexp
    ;; proof engine commands
-   proof-prf-string		"pr"
+   proof-proof-command		"pr"
    proof-goal-command		"lemma \"%s\";"
    proof-save-command		"qed"
-   proof-ctxt-string		"print_context"
-   proof-help-string		"help"
+   proof-context-command		"print_context"
+   proof-info-command		"help"
    proof-kill-goal-command	"kill_proof;"
    proof-find-theorems-command  "thms_containing %s;"
    ;; command hooks
-- 
cgit v1.2.3