diff options
| -rw-r--r-- | plastic/plastic.el | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/plastic/plastic.el b/plastic/plastic.el index fd7d8285..2dc994ab 100644 --- a/plastic/plastic.el +++ b/plastic/plastic.el @@ -193,8 +193,10 @@ (plastic-shell-mode-config)) (define-derived-mode plastic-mode proof-mode - "plastic" - nil + "Plastic script" + "Major mode for Plastic proof scripts. + +\\{plastic-mode-map}" (plastic-mode-config) (easy-menu-change (list proof-general-name) (car proof-help-menu) (append (cdr proof-help-menu) plastic-help-menu-list))) |