From a4d19c68cc95a5ef49111e6cbda70e07a7c09041 Mon Sep 17 00:00:00 2001
From: Thomas Kleymann
Date: Mon, 2 Nov 1998 17:30:14 +0000
Subject: Proof General no longer moves point in the current-buffer

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

diff --git a/generic/proof.el b/generic/proof.el
index ed78f397..440c2ab8 100644
--- a/generic/proof.el
+++ b/generic/proof.el
@@ -163,6 +163,7 @@ The argument KBL is a list of tuples (k . f) where `k' is a keybinding
 		    ;; tms: I don't understand why the point in
 		    ;; proof-response-buffer is not at the end anyway.
 		    ;; Is there a superfluous save-excursion somewhere?
+		    (set-buffer buffer)
 		    (goto-char (point-max))
 		    (or (pos-visible-in-window-p) (recenter -1))))))))
 
-- 
cgit v1.2.3