From faf3c6eebb2db3f6ced7f9a72a78a7312eb6706b Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Sun, 17 Feb 2008 13:12:24 +0000
Subject: Docstring with keymap

---
 phox/phox.el | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'phox')

diff --git a/phox/phox.el b/phox/phox.el
index a26f0105..7f54c5a8 100644
--- a/phox/phox.el
+++ b/phox/phox.el
@@ -176,7 +176,10 @@
 ;; <mode>-config-done function to complete configuration.
 
 (define-derived-mode phox-mode proof-mode
-    "PhoX script" nil
+    "PhoX script" 
+     "Major mode for PhoX proofs.
+
+\\{phox-mode-map}"
     (phox-config)
     (proof-config-done)
     (phox-setup-outline)
-- 
cgit v1.2.3