diff options
| -rw-r--r-- | generic/proof-autoloads.el | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/generic/proof-autoloads.el b/generic/proof-autoloads.el index 7d018a00..98fe3caf 100644 --- a/generic/proof-autoloads.el +++ b/generic/proof-autoloads.el @@ -45,7 +45,7 @@ The function `proof-assistant-format' is used to format VAL." nil 'macro) ;;;*** -;;;### (autoloads (proof-shell-invisible-command proof-shell-wait proof-extend-queue proof-start-queue proof-shell-available-p proof-shell-live-buffer proof-shell-ready-prover) "proof-shell" "generic/proof-shell.el") +;;;### (autoloads (proof-next-error proof-shell-invisible-command proof-shell-wait proof-extend-queue proof-start-queue proof-shell-available-p proof-shell-live-buffer proof-shell-ready-prover) "proof-shell" "generic/proof-shell.el") (autoload 'proof-shell-ready-prover "proof-shell" "\ Make sure the proof assistant is ready for a command. @@ -87,6 +87,9 @@ But if optional WAIT command is non-nil, wait for processing to finish before and after sending the command. If WAIT is an integer, wait for that many seconds afterwards." nil nil) +(autoload 'proof-next-error "proof-shell" "\ +Parse error messages in the response buffer for filenames and line numbers." t nil) + ;;;*** ;;;### (autoloads (proof-splash-display-screen) "proof-splash" "generic/proof-splash.el") |