diff options
| -rw-r--r-- | coq/coq.el | 5 | ||||
| -rw-r--r-- | isar/isar.el | 5 |
2 files changed, 8 insertions, 2 deletions
@@ -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))) |