From 953ab1a42f8d6be0ecf20c82aecf38e4d51a42de Mon Sep 17 00:00:00 2001 From: Makarius Wenzel Date: Wed, 26 Sep 2001 18:32:41 +0000 Subject: fixed spelling; --- generic/proof-config.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'generic/proof-config.el') diff --git a/generic/proof-config.el b/generic/proof-config.el index 5af17f65..780576b2 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -1425,7 +1425,7 @@ See also `proof-shell-init-cmd'." (defcustom proof-shell-init-cmd nil "The command for initially configuring the proof process. -This command is sent to the process as soon as syncrhonization is gained +This command is sent to the process as soon as synchronization is gained (when an annotated prompt is first recognized). It can be used to configure the proof assistant in some way, or print a welcome message (since output before the first prompt is discarded). -- cgit v1.2.3