diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2004-03-01 00:12:37 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2004-03-01 00:12:37 +0000 |
commit | 9f270997d7e95480c943a54a990a87edec3a5124 (patch) | |
tree | 384948154cab316a2261a0d8243b920bc7311c89 /lclam | |
parent | 4e1fe13b6aa02b2cadae2a490e91973813ca20a4 (diff) |
Fix
Diffstat (limited to 'lclam')
-rw-r--r-- | lclam/lclam.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lclam/lclam.el b/lclam/lclam.el index 9e85420b..b5456fa3 100644 --- a/lclam/lclam.el +++ b/lclam/lclam.el @@ -144,7 +144,7 @@ (defvar thy-mode-map nil) (defun thy-add-menus () - "Add Proof General and Isabelle menu to current menu bar." + "Add Lambda-CLAM menu to current menu bar." (require 'proof-script) (require 'proof-x-symbol) (easy-menu-define thy-mode-pg-menu |