diff options
| author | David Aspinall | 2008-02-04 12:52:10 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-02-04 12:52:10 +0000 |
| commit | d9ef3bf559c08481e23efdb54f89e798684eec60 (patch) | |
| tree | 699ea92093f64532760960a572dde57b78405aeb /isar | |
| parent | 55bfdca51b08da2745b0cd782fde55dfd8584538 (diff) | |
Add mode documentation
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))) |