diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-10-01 10:22:56 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-10-01 10:22:56 +0000 |
| commit | 659646acf6c78bf1975cd1032b822d4a6179637e (patch) | |
| tree | ab51505cf4abd72de8034b9bee3796bebd175c7e /coq | |
| parent | e913056f6cc7b0d0eb579ca5cd58647782cf6ab7 (diff) | |
Disable proof-help-string, was set to an invalid command.
Diffstat (limited to 'coq')
| -rw-r--r-- | coq/coq.el | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -427,10 +427,11 @@ ;; Commands sent to proof engine (setq proof-prf-string "Show" proof-ctxt-string "Print All" - proof-help-string "Help" proof-goal-command "Goal %s." proof-save-command "Save %s." proof-find-theorems-command "Search %s." +;; FIXME da: Does Coq have a help or about command? +;; proof-help-string "Help" proof-kill-goal-command coq-kill-goal-command) (setq proof-goal-command-p 'coq-goal-command-p |