From 96d2bf1f16de29f13be37370141e5db998740a59 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 31 Jan 2011 08:53:22 +0000 Subject: Comments --- generic/proof-utils.el | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'generic/proof-utils.el') 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 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) -- cgit v1.2.3