From dedb2ac2f4c67a91214718de1d4f45856147dbdd Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 15 Dec 1998 17:51:10 +0000
Subject: Docstring fix.

---
 generic/proof-site.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)))
-- 
cgit v1.2.3