From 813c9a3268b9b18a00d475281a35bc29b36688d3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 6 Oct 1999 11:11:26 +0000
Subject: Fixed proof-showproof-command

---
 isar/isar.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'isar')

diff --git a/isar/isar.el b/isar/isar.el
index 1c529bc3..9b00c6ca 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -158,7 +158,7 @@
    proof-save-with-hole-regexp  isar-save-with-hole-regexp
    proof-indent-commands-regexp	isar-indent-regexp
    ;; proof engine commands
-   proof-proof-command		"pr"
+   proof-showproof-command	"pr"
    proof-goal-command		"lemma \"%s\";"
    proof-save-command		"qed"
    proof-context-command		"print_context"
-- 
cgit v1.2.3