From 7d2f1ef9be198f05413355c0982d65c435e60614 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 18 Jun 1999 10:45:59 +0000
Subject: Docstring

---
 generic/proof-config.el | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'generic')

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 9f130a53..0110538c 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -72,9 +72,8 @@
   :group 'proof-general)
 
 (defcustom proof-prog-name-guess nil
-  "*If non-nil, use `proof-guess-command-line' to guess the correct
-   value of proof-prog-name when starting proof assisant
-   This option is compatible with proof-prog-name-ask"
+  "*If non-nil, use `proof-guess-command-line' to guess proof-prog-name.
+This option is compatible with proof-prog-name-ask."
   :type 'boolean
   :group 'proof-general)
 
-- 
cgit v1.2.3