diff options
| author | David Aspinall | 2000-06-05 13:44:48 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-06-05 13:44:48 +0000 |
| commit | 2cb9a3f83b4e627039e401af8333861a9827a1d8 (patch) | |
| tree | aa4f8edf4eba4ead01a6bbfb2f798264993153c0 | |
| parent | 5f7d824d97c584d758e387cffa03e583cad8d858 (diff) | |
Updated to add proof-next-error.
| -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") |