From 0075ce86d00708e724255319e12f299ce05b2231 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 13 Apr 2004 22:21:42 +0000
Subject: Indentation of proof-with-current-buffer-if-exists

---
 generic/proof-utils.el | 1 +
 1 file changed, 1 insertion(+)

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
-- 
cgit v1.2.3