From 55d489d72bd7e398dd9d0a7f90bfaecb6d9fb9af Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 21 Oct 1999 16:31:53 +0000
Subject: Changed name to proof-shell-inform-file-processed-cmd

---
 CHANGES                 | 5 +++++
 generic/proof-config.el | 2 +-
 generic/proof-script.el | 4 ++--
 3 files changed, 8 insertions(+), 3 deletions(-)

diff --git a/CHANGES b/CHANGES
index cc03039c..12e9785a 100644
--- a/CHANGES
+++ b/CHANGES
@@ -156,5 +156,10 @@ Internal changes for developers to note
 * proof-site now does nothing if it has already been loaded.
   Previously it would load again, possibly altering settings.
 
+* Multiple file handling improvements:
+   Added proof-inform-file-processed-cmd setting to 
+   tell the prover about files which are processed completely 
+   inside Proof General.
+
 * Many code cleanups and improvements.
 
diff --git a/generic/proof-config.el b/generic/proof-config.el
index 7778ba11..f89d58cf 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -925,7 +925,7 @@ script everytime scripting begins."
   :type 'string
   :group 'proof-shell)
 
-(defcustom  proof-shell-inform-file-processed-command nil
+(defcustom  proof-shell-inform-file-processed-cmd nil
  "Command to the proof assistant to tell it that a file has been processed.
 The format character %s is replaced by a complete filename for a
 script file which has been fully processed interactively with
diff --git a/generic/proof-script.el b/generic/proof-script.el
index 0c801cf9..abc77671 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -450,9 +450,9 @@ to co-ordinate with its internal file-management."
       (if buffer
 	  (proof-complete-buffer-atomic buffer))
       ;; Tell the proof assistant, if we should and if we can
-      (if (and informprover proof-shell-inform-file-processed-command)
+      (if (and informprover proof-shell-inform-file-processed-cmd)
 	  (proof-shell-invisible-command 
-	   (format proof-shell-inform-file-processed-command cfile))))))
+	   (format proof-shell-inform-file-processed-cmd cfile))))))
 
 (defun proof-unregister-buffer-file-name ()
   "Remove current buffer's filename from the list of included files.
-- 
cgit v1.2.3