diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1998-09-22 13:27:47 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1998-09-22 13:27:47 +0000 |
commit | b3ee5d1189e7d4e680faaf707dd9245b40f9eb55 (patch) | |
tree | facf0ff7239d3c153a52f6948c6f3b124098d435 /lego | |
parent | dba2d8704e39d8d6deae1ecd1f7dd483c1c3add4 (diff) |
Fixed docstrings for derived modes
Diffstat (limited to 'lego')
-rw-r--r-- | lego/lego.el | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/lego/lego.el b/lego/lego.el index aed76bdf..82ec26ae 100644 --- a/lego/lego.el +++ b/lego/lego.el @@ -169,17 +169,19 @@ ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; (define-derived-mode lego-shell-mode proof-shell-mode - "lego-shell" "Inferior shell mode for lego shell" + "lego-shell" + ;; With nil argument for docstring, Emacs makes up a nice one. + nil (lego-shell-mode-config)) (define-derived-mode lego-mode proof-mode - "lego" "Lego Mode" + "lego" nil (lego-mode-config) (easy-menu-change (list proof-mode-name) (car proof-help-menu) (append (cdr proof-help-menu) lego-help-menu-list))) (define-derived-mode lego-pbp-mode pbp-mode - "pbp" "Proof-by-pointing support for LEGO" + "pbp" nil (lego-pbp-mode-config)) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |