From ac5723025f1de3b6d7131b58b42fa6d4a867efe5 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 15 Oct 1999 17:48:19 +0000
Subject: Whitespace

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

diff --git a/isa/isa.el b/isa/isa.el
index c4f58f25..9b2bd7ab 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -131,7 +131,7 @@ no regular or easily discernable structure."
    proof-showproof-command	"pr()"
    proof-goal-command		"Goal \"%s\";"
    proof-save-command		"qed \"%s\";"
-   proof-context-command		"ProofGeneral.show_context()"
+   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\"]"
-- 
cgit v1.2.3