From 3292453208c2e2e20ff84ab7f90c7d52cd96afc2 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 8 Aug 2002 09:54:36 +0000
Subject: Docstring

---
 generic/proof-site.el | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/generic/proof-site.el b/generic/proof-site.el
index a4b9c768..08022988 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -171,7 +171,9 @@ A list of symbols chosen from:"
    (apply 'concat (mapcar (lambda (astnt) 
 			    (concat " '" (symbol-name (car astnt))))
 			  proof-assistant-table)) 
-".\nEach proof assistant defines its own instance of Proof General,
+".\nIf nil, the default will be ALL proof assistants.
+
+Each proof assistant defines its own instance of Proof General,
 providing session control, script management, etc.  Proof General
 will be started automatically for the assistants chosen here.
 To avoid accidently invoking a proof assistant you don't have,
-- 
cgit v1.2.3