diff options
author | Hendrik Tews <hendrik@askra.de> | 2011-06-08 08:10:31 +0000 |
---|---|---|
committer | Hendrik Tews <hendrik@askra.de> | 2011-06-08 08:10:31 +0000 |
commit | 710e27c7d9031df0a14727487c83fb6ec974e883 (patch) | |
tree | c912c6c7826a1b4e61c8c4a4ed1b05d0058a85b4 /generic | |
parent | d5b6bc3e78b4c89f41bd39469f7c6d936e391b97 (diff) |
- fix for #408: Only use the buffer name in
coq-compile-response-buffer
- fix typo elsewhere
Diffstat (limited to 'generic')
-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 e6a2a65e..c503b336 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -2205,7 +2205,7 @@ Before the retraction is calculated, we enforce the file-level protocol with `proof-activate-scripting'. This has a couple of effects: -1. If the file is is completely processed, we have to re-open it +1. If the file is completely processed, we have to re-open it for scripting again which may involve retracting other (dependent) files. |