diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2011-01-31 08:53:22 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2011-01-31 08:53:22 +0000 |
| commit | 96d2bf1f16de29f13be37370141e5db998740a59 (patch) | |
| tree | 967d23bba22fc963d3a95c501c37808c56b9af01 /generic/proof-utils.el | |
| parent | 29a9ec18e2f9dbc4f2ae3d3f006e591ae33a9fe8 (diff) | |
Comments
Diffstat (limited to 'generic/proof-utils.el')
| -rw-r--r-- | generic/proof-utils.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index c6a3bb68..54dae790 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -1,6 +1,6 @@ ;; proof-utils.el --- Proof General utility functions and macros ;; -;; Copyright (C) 1998-2002, 2009 LFCS Edinburgh. +;; Copyright (C) 1998-2002, 2009, 2011 LFCS Edinburgh. ;; Author: David Aspinall <David.Aspinall@ed.ac.uk> and others ;; License: GPL (GNU GENERAL PUBLIC LICENSE) ;; @@ -337,7 +337,7 @@ No effect if buffer is dead." ;;;###autoload (defun proof-debug (msg &rest args) "Issue the debugging message (format MSG ARGS) in the *PG Debug* buffer. -If proof-general-debug is nil, do nothing." +If flag `proof-general-debug' is nil, do nothing." (when proof-general-debug (with-current-buffer (get-buffer-create "*PG Debug*") (help-mode) |