diff options
| author | David Aspinall | 1999-11-24 21:48:24 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-24 21:48:24 +0000 |
| commit | 87f4831081425aeb45e8eae5b59fe814e1ae7d14 (patch) | |
| tree | 6524fa5537e56b79f690d3f1e7b85057a6205a90 /generic | |
| parent | b43d47cd0a2ac1c36bc32ab285ea22ef367d9c2f (diff) | |
Docstring
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-script.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 1be17191..982de20e 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -1980,7 +1980,7 @@ The command isn't added to the locked region. If `proof-state-preserving-p' is configured, it is used as a check that the command will be safe to execute, in other words, that -it won't ruin synchronization. If applied to the command it +it won't ruin synchronization. If when applied to the command it returns false, then an error message is given. This command risks spoiling synchronization if the test @@ -2351,7 +2351,7 @@ This is intended as a value for proof-activate-scripting-hook" (list '(proof-electric-terminator (concat " " proof-terminal-string)))))) -;; This is a value used by custom-set property = proof-set-bool. +;; This is a value used by custom-set property = proof-set-value. (defun proof-electric-terminator-enable () "Copy proof-electric-terminator-enable to all script mode copies of it. Make sure the modeline is updated to display new value for electric terminator." |