From a5860920c359bc69c4ed4d3c06f4ed9d064a447d Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 14 Sep 2009 06:54:56 +0000 Subject: Rename mode names --- isar/isar.el | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'isar/isar.el') 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}" -- cgit v1.2.3