From c612dabc4f54874a2c790391b441caea71e08982 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 17 Feb 2008 13:13:10 +0000
Subject: Updated.

---
 plastic/plastic.el | 6 ++++--
 1 file 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)))
-- 
cgit v1.2.3