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 | |
| parent | 29a9ec18e2f9dbc4f2ae3d3f006e591ae33a9fe8 (diff) | |
Comments
| -rw-r--r-- | generic/pg-vars.el | 4 | ||||
| -rw-r--r-- | generic/proof-utils.el | 4 |
2 files changed, 5 insertions, 3 deletions
diff --git a/generic/pg-vars.el b/generic/pg-vars.el index c6ecd8ec..f4140ab5 100644 --- a/generic/pg-vars.el +++ b/generic/pg-vars.el @@ -207,7 +207,9 @@ A list of lists (SYMBOL SETTING TYPE DESCR) where SETTING is a string value to send to the proof assistant using the value of SYMBOL and and the function `proof-assistant-format'. The TYPE item determines the form of the menu entry for the setting (this is an Emacs widget type) -and the DESCR description string is used as a help tooltip in the settings menu.") +and the DESCR description string is used as a help tooltip in the settings menu. + +This list is extended by the `defpacustom' macro.") (defvar pg-tracing-slow-mode nil "Non-nil for slow refresh mode for tracing output.") 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) |