diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-10-04 16:11:48 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-10-04 16:11:48 +0000 |
commit | 86034f77ab12bd8585721e3ec1c55625d19c6cf5 (patch) | |
tree | fb4419e91c2947291461db1d0cc777ec1f98e34d /coq/coq-db.el | |
parent | 17b653ec72b31f6ccab24dc275bcdc90b125fef0 (diff) |
Fixes in strings/comments from Erik Martin-Dorel
Diffstat (limited to 'coq/coq-db.el')
-rw-r--r-- | coq/coq-db.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coq/coq-db.el b/coq/coq-db.el index 53ea970f..7fa7d1f4 100644 --- a/coq/coq-db.el +++ b/coq/coq-db.el @@ -72,7 +72,7 @@ new keyword to colorize.") Insert corresponding string with holes at point. If an insertion function is present for the keyword, call it instead. see `coq-syntax-db' for DB structure." - (let* ((tac (completing-read (concat prompt " (tab for completion) : ") + (let* ((tac (completing-read (concat prompt " (TAB for completion): ") db nil nil)) (infos (cddr (assoc tac db))) (s (car infos)) ; completion to insert |