diff options
| -rw-r--r-- | coq/coq.el | 4 | ||||
| -rw-r--r-- | generic/proof-toolbar.el | 2 |
2 files changed, 3 insertions, 3 deletions
@@ -621,8 +621,8 @@ This is specific to coq-mode." default-directory) ;; This next guess is pretty hopeless. default-directory))) - (message (concat dir modname ".v")) - (concat dir modname ".v"))))) + (message "%s%s.v" dir modname) + (format "%s%s.v" dir modname))))) (setq coq-proof-shell-inform-file-retracted-cmd ;; da: This is a HORRIBLE fragile hack! Instead of issuing a diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el index 9baeadeb..aa658bf3 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -112,7 +112,7 @@ (interactive) (if (,enabler) (call-interactively (quote ,buttonfn)) - (message ,(concat "Button \"" menuname "\" disabled"))))) + (message "Button \"%s\" disabled" ,menuname)))) buttonfnwe))) (if tooltip ;; no tooltip means menu-only item (if proof-running-on-XEmacs |