diff options
| author | David Aspinall | 1998-12-16 17:03:09 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-12-16 17:03:09 +0000 |
| commit | 5e0d2f495c2746903fc0368aaf4cc7eae8fda46a (patch) | |
| tree | 316dfd4d78865acd05b076699a50731dddf50198 | |
| parent | 1cae9b055e402127ee8688675ca0b0ef8ff0a6a6 (diff) | |
Tweaked docstring for C-c C-u.
| -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)) |