diff options
| -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 a35ee903..97fd4831 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -1175,7 +1175,7 @@ UNCLOSED-COMMENT-FUN." ;; FIXME: it turns out that this function is identical to the one below. (defun proof-undo-last-successful-command-interactive (delete) "Undo last successful command at end of locked region. -If optional DELETE argument is set (called with a prefix argument), +If DELETE argument is set (called with a prefix argument), the text is also deleted from the proof script." (interactive "P") (proof-undo-last-successful-command delete)) |