From 81dedfc59dd603c38e5075ad7480505883dcce09 Mon Sep 17 00:00:00 2001
From: Hendrik Tews
Date: Tue, 19 Apr 2011 20:00:46 +0000
Subject: * small doc fix

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

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index dee2298e..a010276a 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -1436,7 +1436,7 @@ This is useful even with empty delayed output as it can
 clear the buffers.
 
 The delayed output is in the region
-\[proof-shell-last-output-start,proof-shell-last-output-end].
+\[proof-shell-delayed-output-start,proof-shell-delayed-output-end].
 
 If goals output is found, the last matching instance, possibly
 bounded by `proof-shell-end-goals-regexp', will be displayed.
-- 
cgit v1.2.3