From 65001bfa7d7ebef886755e00ef476c19d9370515 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 8 Nov 1999 18:03:12 +0000
Subject: Docstring for proof-included-files.

---
 generic/proof.el | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

(limited to 'generic')

diff --git a/generic/proof.el b/generic/proof.el
index c9ed9a1a..2f43540f 100644
--- a/generic/proof.el
+++ b/generic/proof.el
@@ -101,14 +101,15 @@ This list contains files in canonical truename format
 
 Whenever a new file is being processed, it gets added to this list
 via the proof-shell-process-file configuration settings.
-When the prover retracts across file boundaries, this list 
-is resynchronised via the proof-shell-retract-files-regexp and
-proof-shell-compute-new-files-list configuration settings. 
+When the prover retracts a file, this list is resynchronised via the
+proof-shell-retract-files-regexp and proof-shell-compute-new-files-list 
+configuration settings.
 
 Only files which have been *fully* processed should be included here.
-Proof General itself will automatically add the filenames of script
-buffers which are completely read, when scripting is deactivated or
-switched to another buffer.
+Proof General itself will automatically add the filenames of a script
+buffer which has been completely read when scripting is deactivated.
+It will automatically remove the filename of a script buffer which
+is completely unread when scripting is deactivated.
 
 NB: Currently there is no generic provision for removing files which
 are only partly read-in due to an error, so ideally the proof assistant
-- 
cgit v1.2.3