diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-12-16 18:11:52 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-12-16 18:11:52 +0000 |
| commit | 3405aa7f075b343776c2b2a6505cdf4d18451e6d (patch) | |
| tree | 1138452049f444b57836e40225d204e2123f8a61 | |
| parent | f5eac3af8d3bab3352b47e5505299e0e0d948860 (diff) | |
Made delete-region arg optional for proof-retract-until-point-interactive.
| -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 0bf2c306..2530e1b1 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -1088,7 +1088,7 @@ Optionally delete the region corresponding to the proof sequence." ;; FIXME da: Maybe retraction to the start of ;; a file should remove it from the list of included files? -(defun proof-retract-until-point-interactive (delete-region) +(defun proof-retract-until-point-interactive (&optional delete-region) "Tell the proof process to retract until point. If invoked outside a locked region, undo the last successfully processed command. If called with a prefix argument (DELETE-REGION non-nil), also |