diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1999-10-15 17:48:19 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1999-10-15 17:48:19 +0000 |
commit | ac5723025f1de3b6d7131b58b42fa6d4a867efe5 (patch) | |
tree | 058b5b7fca48fceaf876d9fe36aae22b137139a7 | |
parent | da774042ac058d7f4d041959e2f53ca407581891 (diff) |
Whitespace
-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\"]" |