diff options
| author | David Aspinall | 2004-04-13 22:21:42 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-04-13 22:21:42 +0000 |
| commit | 0075ce86d00708e724255319e12f299ce05b2231 (patch) | |
| tree | dd7d1fb0866e946504641820d76f89d6d513c1bd | |
| parent | 68f5ce64c1d2faa65360da33e947b00a5673e97b (diff) | |
Indentation of proof-with-current-buffer-if-exists
| -rw-r--r-- | generic/proof-utils.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index 8df5455a..7fd11305 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -859,6 +859,7 @@ EXTRAPATH is a list of extra path components" (put 'proof-define-assistant-command-witharg 'lisp-indent-function 'defun) (put 'defpgcustom 'lisp-indent-function 'defun) (put 'proof-map-buffers 'lisp-indent-function 'defun) +(put 'proof-with-current-buffer-if-exists 'lisp-indent-function 'defun) (defconst proof-extra-fls (list |