From faf3c6eebb2db3f6ced7f9a72a78a7312eb6706b Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sun, 17 Feb 2008 13:12:24 +0000 Subject: Docstring with keymap --- lego/lego.el | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'lego') diff --git a/lego/lego.el b/lego/lego.el index bffdf290..0d138804 100644 --- a/lego/lego.el +++ b/lego/lego.el @@ -149,8 +149,9 @@ Activates extended printing routines required for Proof General.") (define-derived-mode lego-shell-mode proof-shell-mode "lego-shell" - ;; With nil argument for docstring, Emacs makes up a nice one. - nil + "Major mode for LEGO proof scripts. + +\\{lego-mode-map}" (lego-shell-mode-config)) (define-derived-mode lego-mode proof-mode -- cgit v1.2.3