diff options
Diffstat (limited to 'isa')
-rw-r--r-- | isa/isa.el | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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\"]" |