1 files changed, 4 insertions, 1 deletions
diff --git a/coq/coq.el b/coq/coq.el
index a923dcba..0a286c73 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -219,7 +219,10 @@ On Windows you might need something like:
  
 (eval-and-compile
   (define-derived-mode coq-mode proof-mode
-   "coq" nil
+   "coq" 
+     "Major mode for Coq scripts.
+
+\\{coq-mode-map}"
    (coq-mode-config)))
 
 (eval-and-compile