diff options
Diffstat (limited to 'generic/pg-user.el')
| -rw-r--r-- | generic/pg-user.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/generic/pg-user.el b/generic/pg-user.el index 37d16175..e08d7f0c 100644 --- a/generic/pg-user.el +++ b/generic/pg-user.el @@ -192,6 +192,7 @@ If inside a comment, just process until the start of the comment." (interactive) (proof-assert-until-point)) +;;;###autoload (defun proof-process-buffer () "Process the current (or script) buffer, and maybe move point to the end." (interactive) |