diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 1999-08-20 14:23:48 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 1999-08-20 14:23:48 +0000 |
| commit | a9d5eaf7d0b7a110802d8a5096baba46c2d065bc (patch) | |
| tree | a7c5d8023ca7974d569187d7025f6a4a0df98c93 /isa/isa.el | |
| parent | 3b2c0bc25ceaa365257f3a47117a8c58e4bb1f82 (diff) | |
eliminated superficial ';'s;
Diffstat (limited to 'isa/isa.el')
| -rw-r--r-- | isa/isa.el | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -127,12 +127,12 @@ no regular or easily discernable structure." ;; proof-indent-commands-regexp (proof-ids-to-regexp isa-keywords) - ;; proof engine commands (first three for menus, last for undo) - proof-prf-string "pr();" + ;; proof engine commands + proof-prf-string "pr()" proof-goal-command "Goal \"%s\";" proof-save-command "qed \"%s\";" - proof-ctxt-string "ProofGeneral.show_context();" - proof-help-string "ProofGeneral.help();" + proof-ctxt-string "ProofGeneral.show_context()" + proof-help-string "ProofGeneral.help()" proof-kill-goal-command "ProofGeneral.kill_goal();" ;; command hooks proof-goal-command-p 'isa-goal-command-p |