From 2cb9a3f83b4e627039e401af8333861a9827a1d8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 5 Jun 2000 13:44:48 +0000
Subject: Updated to add proof-next-error.

---
 generic/proof-autoloads.el | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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")
-- 
cgit v1.2.3