diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-12-15 17:51:48 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-12-15 17:51:48 +0000 |
| commit | f990f85aa91bf15a3f93c8237e5efbf185ec5a46 (patch) | |
| tree | acece7e154e4bd05e512cdd17cd44a1a0b7be5e7 /doc/ProofGeneral.texi | |
| parent | 6f4b1c8290547a96ad669e7fcaf9cf73da1a3831 (diff) | |
Updated magic.
Diffstat (limited to 'doc/ProofGeneral.texi')
| -rw-r--r-- | doc/ProofGeneral.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index bf3d2d54..f1b0ac37 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -2962,7 +2962,7 @@ 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, only select the proof assistants you (or your site) may need. -@var{note}: to change proof assistant, you must start a new Emacs session. +Note: to change proof assistant, you must start a new Emacs session. The default value is @code{(isa lego coq)}. @end defopt |