diff options
| author | David Aspinall | 2002-08-08 09:54:36 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-08 09:54:36 +0000 |
| commit | 3292453208c2e2e20ff84ab7f90c7d52cd96afc2 (patch) | |
| tree | 090a264638def1875f6bb7e0656b16e5f0cc28bf | |
| parent | 53e90eeb11940993ce514c7d4e5a691317266f7c (diff) | |
Docstring
| -rw-r--r-- | generic/proof-site.el | 4 |
1 files changed, 3 insertions, 1 deletions
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, |