diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-05 09:54:56 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-05 09:54:56 +0000 |
| commit | b30f353c2ea9f514d7ab6bf821a7919adf62143a (patch) | |
| tree | 9fe25f3ed35c8377d749d8e7336c9e44fd7481e6 /generic/pg-assoc.el | |
| parent | 559426016c112b6147fe82582c6479521b0fab6a (diff) | |
Clean whitespace
Diffstat (limited to 'generic/pg-assoc.el')
| -rw-r--r-- | generic/pg-assoc.el | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/generic/pg-assoc.el b/generic/pg-assoc.el index 1a1dcd23..6d041c08 100644 --- a/generic/pg-assoc.el +++ b/generic/pg-assoc.el @@ -1,6 +1,6 @@ ;;; pg-assoc.el --- Functions for associated buffers ;; -;; Copyright (C) 1994-2008 LFCS Edinburgh. +;; Copyright (C) 1994-2008 LFCS Edinburgh. ;; Authors: David Aspinall, Yves Bertot, Healfdene Goguen, ;; Thomas Kleymann and Dilip Sequeira ;; License: GPL (GNU GENERAL PUBLIC LICENSE) @@ -13,7 +13,7 @@ ;;; Code: -(eval-when-compile +(eval-when-compile (require 'proof-syntax) ; proof-replace-{string,regexp} (require 'span) ; spans (require 'cl)) ; incf @@ -24,7 +24,7 @@ proof-general-name "Universal keymaps only" ;; Doesn't seem to supress TAB, RET (suppress-keymap proof-universal-keys-only-mode-map 'all) - (proof-define-keys proof-universal-keys-only-mode-map + (proof-define-keys proof-universal-keys-only-mode-map proof-universal-keys))) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; @@ -34,7 +34,7 @@ ;;;###autoload (defun proof-associated-buffers () - "Return a list of the associated buffers. + "Return a list of the associated buffers. Some may be dead/nil." (list proof-goals-buffer proof-response-buffer @@ -44,7 +44,7 @@ Some may be dead/nil." ;;;###autoload (defun proof-associated-windows () - "Return a list of the associated buffers windows. + "Return a list of the associated buffers windows. Dead or nil buffers are not represented in the list." (let ((bufs (proof-associated-buffers)) buf wins) |