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 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) |