From d2b9b0555e7cf208e06eb6490dc70cc67daca239 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 25 Nov 1998 12:31:52 +0000
Subject: Improved docstrings

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

(limited to 'generic/proof-shell.el')

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 996ffa65..ede3f76d 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -699,7 +699,7 @@ by setting proof-shell-delayed-output to a cons cell of
 (insert . txt) where TXT is the text to be inserted.
 
 To extend this function, set
-`proof-shell-process-output-system-specific'.
+proof-shell-process-output-system-specific.
 
 This function - it can return one of 4 things: 'error, 'interrupt,
 'loopback, or nil. 'loopback means this was output from pbp, and
-- 
cgit v1.2.3