From b09cc628554e79b6d8ed6a91e654d655b773550d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 20 Jan 2007 13:59:33 +0000
Subject: Tweak.

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

diff --git a/generic/proof-config.el b/generic/proof-config.el
index d8261e79..08b7369b 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -2187,7 +2187,7 @@ response buffer."
 
 (defcustom proof-shell-unicode nil
   "Tell whether communication between Proof General and the prover
-process is 8bit clean, without using any special non-ASCII characters!
+process is 8bit clean, without using any special non-ASCII characters.
 If so, the process coding system will be set to utf-8."
   :type 'boolean
   :group 'proof-shell)
-- 
cgit v1.2.3