diff options
author | 1999-11-19 19:18:30 +0000 | |
---|---|---|
committer | 1999-11-19 19:18:30 +0000 | |
commit | ed3bce30acd5015ef3f338448f43f86092619a26 (patch) | |
tree | a11fa268f54ccfabd11e685f53672d7ba599787f /generic/proof-script.el | |
parent | 182db89008a3157f70e2c70938ac972377b7693e (diff) |
Typo
Diffstat (limited to 'generic/proof-script.el')
-rw-r--r-- | generic/proof-script.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 510daa51..dfac8865 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -1764,7 +1764,7 @@ This sends an interrupt signal to the proof assistant, if Proof General thinks it is busy. This command is risky because when an interrupt is trapped in the -proof assistant, we don't know whether the last command succeeeded or +proof assistant, we don't know whether the last command succeeded or not. The assumption is that it didn't, which should be true most of the time, and all of the time if the proof assistant has a careful handling of interrupt signals." |