diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-14 06:54:56 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-14 06:54:56 +0000 |
commit | a5860920c359bc69c4ed4d3c06f4ed9d064a447d (patch) | |
tree | 0d439ddc1eb6566d4db48e18d8dd92921347cbf2 /isar/isar.el | |
parent | 84681722395ef50246f54b4092c4274a493f295f (diff) |
Rename mode names
Diffstat (limited to 'isar/isar.el')
-rw-r--r-- | isar/isar.el | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/isar/isar.el b/isar/isar.el index 93989ba8..e3ddbeb4 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -304,22 +304,22 @@ This is called when Proof General spots output matching (eval-and-compile (define-derived-mode isar-shell-mode proof-shell-mode - "Isar shell" nil + "Isabelle Shell" nil (isar-shell-mode-config))) (eval-and-compile (define-derived-mode isar-response-mode proof-response-mode - "response" nil + "Isar Messages" nil (isar-response-mode-config))) (eval-and-compile (define-derived-mode isar-goals-mode proof-goals-mode - "proofstate" nil + "Isar Proofstate" nil (isar-goals-mode-config))) (eval-and-compile (define-derived-mode isar-mode proof-mode - "Isar script" + "Isar" "Major mode for editing Isar proof scripts. \\{isar-mode-map}" |