diff options
author | 2008-02-17 13:13:10 +0000 | |
---|---|---|
committer | 2008-02-17 13:13:10 +0000 | |
commit | c612dabc4f54874a2c790391b441caea71e08982 (patch) | |
tree | f6f1df725eae6213daacffdf4edcc5e9115e27fc /plastic | |
parent | faf3c6eebb2db3f6ced7f9a72a78a7312eb6706b (diff) |
Updated.
Diffstat (limited to 'plastic')
-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))) |