diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-12-15 17:51:10 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-12-15 17:51:10 +0000 |
| commit | dedb2ac2f4c67a91214718de1d4f45856147dbdd (patch) | |
| tree | 071947768a5d573df4e3ab188a092a634330cf9d /generic | |
| parent | 12ad6723e674a3a77ed9348088802dda2fa7f2cd (diff) | |
Docstring fix.
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-site.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-site.el b/generic/proof-site.el index 91802d1f..9f3a14c3 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -113,7 +113,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. -NOTE: to change proof assistant, you must start a new Emacs session.") +Note: to change proof assistant, you must start a new Emacs session.") :type (cons 'set (mapcar (lambda (astnt) (list 'const ':tag (car (cdr astnt)) (car astnt))) |