diff options
author | 1998-09-22 13:27:47 +0000 | |
---|---|---|
committer | 1998-09-22 13:27:47 +0000 | |
commit | b3ee5d1189e7d4e680faaf707dd9245b40f9eb55 (patch) | |
tree | facf0ff7239d3c153a52f6948c6f3b124098d435 /coq | |
parent | dba2d8704e39d8d6deae1ecd1f7dd483c1c3add4 (diff) |
Fixed docstrings for derived modes
Diffstat (limited to 'coq')
-rw-r--r-- | coq/coq.el | 8 |
1 files changed, 5 insertions, 3 deletions
@@ -86,15 +86,17 @@ ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; (define-derived-mode coq-shell-mode proof-shell-mode - "coq-shell" "Inferior shell mode for coq shell" + "coq-shell" + ;; With nil argument for docstring, Emacs makes up a nice one. + nil (coq-shell-mode-config)) (define-derived-mode coq-mode proof-mode - "coq" "Coq Mode" + "coq" nil (coq-mode-config)) (define-derived-mode coq-pbp-mode pbp-mode - "pbp" "Proof-by-pointing support for Coq" + "pbp" nil (coq-pbp-mode-config)) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |