1 files changed, 1 insertions, 1 deletions
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\"]"