diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-06 13:56:05 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-06 13:56:05 +0000 |
commit | f191f66776f6d0f43014e2d9a5b4933375bce903 (patch) | |
tree | 0bd3ee0ac53c5a89be58e5aca6da35dc2398e15c /generic/proof-utils.el | |
parent | 59e9bc9d01fa12f6e251f5a0bbf5ce1228466ccc (diff) |
Remove comment
Diffstat (limited to 'generic/proof-utils.el')
-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. |