diff options
| -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 |