diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2001-09-26 18:32:41 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2001-09-26 18:32:41 +0000 |
| commit | 953ab1a42f8d6be0ecf20c82aecf38e4d51a42de (patch) | |
| tree | 08381f2576ca0d5a903507d4dbb067cd39e6764d /generic/proof-config.el | |
| parent | ced2af506aca5ec7e95285158ec9bfd67e461b9b (diff) | |
fixed spelling;
Diffstat (limited to 'generic/proof-config.el')
| -rw-r--r-- | generic/proof-config.el | 2 |
1 files changed, 1 insertions, 1 deletions
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). |