diff options
Diffstat (limited to 'isar')
| -rw-r--r-- | isar/isar.el | 5 |
1 files changed, 4 insertions, 1 deletions
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))) |