Add mode documentation

2 files changed, 8 insertions, 2 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
diff --git a/isar/isar.el b/isar/isar.el
index b03b89c3..9f6efd8d 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -290,7 +290,10 @@ proof-shell-retract-files-regexp."
 
 (eval-and-compile                       ; to define vars for byte comp.
 (define-derived-mode isar-mode proof-mode
-  "Isar script" nil
+  "Isar script" 
+  "Major mode for editing Isar proof scripts.
+
+\\{isar-mode-map}"
   (isar-mode-config)))