diff options
| -rw-r--r-- | generic/proof-utils.el | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index 90dcf852..6251630e 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -473,7 +473,6 @@ The warning is coloured with proof-warning-face." (display-warning 'proof-general formatted) (message formatted)))) -;; could be a macro for efficiency in compiled code (defun proof-debug (msg &rest args) "Issue the debugging message (format MSG ARGS) in the response buffer, display it. If proof-general-debug is nil, do nothing." @@ -481,7 +480,6 @@ If proof-general-debug is nil, do nothing." (let ((formatted (apply 'format msg args))) (display-warning 'proof-general formatted 'info)))) - ;; Utility used in the "Buffers" menu, and throughout (defun proof-switch-to-buffer (buf &optional noselect) "Switch to or display buffer BUF in other window unless already displayed. |