diff options
| author | David Aspinall | 2004-03-01 00:11:53 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-03-01 00:11:53 +0000 |
| commit | 4e1fe13b6aa02b2cadae2a490e91973813ca20a4 (patch) | |
| tree | 54423748148af3ae192caeeaf245639825a6fbdb | |
| parent | 1af1398c305814e6dbe4835866084983004502c8 (diff) | |
Bug in thy-add-menus declaration
| -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 64954742..9e85420b 100644 --- a/lclam/lclam.el +++ b/lclam/lclam.el @@ -143,7 +143,7 @@ (defvar thy-mode-map nil) -(defun thy-add-menus +(defun thy-add-menus () "Add Proof General and Isabelle menu to current menu bar." (require 'proof-script) (require 'proof-x-symbol) |