From d9ef3bf559c08481e23efdb54f89e798684eec60 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 4 Feb 2008 12:52:10 +0000
Subject: Add mode documentation

---
 coq/coq.el   | 5 ++++-
 isar/isar.el | 5 ++++-
 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)))
 
 
-- 
cgit v1.2.3