diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2008-01-16 21:43:48 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-16 21:43:48 +0000 |
commit | e3e203869d5e25fab4809d53c3938f067b3a94db (patch) | |
tree | afd60fddf5d0a549876fd4fe0247986c294d213f /generic/pg-assoc.el | |
parent | 72f240e63eb57755e618613cad4bb7edbe951a26 (diff) |
Reduce compiler warnings. Minor fixes.
Diffstat (limited to 'generic/pg-assoc.el')
-rw-r--r-- | generic/pg-assoc.el | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/generic/pg-assoc.el b/generic/pg-assoc.el index 9372d3d1..4eeff21c 100644 --- a/generic/pg-assoc.el +++ b/generic/pg-assoc.el @@ -34,6 +34,7 @@ ;; Return a list of associated buffers ;; +;;;###autoload (defun proof-associated-buffers () "Return a list of the associated buffers. Some may be dead/nil." @@ -43,6 +44,7 @@ Some may be dead/nil." proof-thms-buffer)) +;;;###autoload (defun proof-associated-windows () "Return a list of the associated buffers windows. Dead or nil buffers are not represented in the list." |