From 9550272f4082b9c8ef3e1667b7688df9b89b4269 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 21 Oct 1999 18:02:51 +0000
Subject: Added inform-file-retracted-cmd setting

---
 CHANGES | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/CHANGES b/CHANGES
index fa687278..64e1bfbc 100644
--- a/CHANGES
+++ b/CHANGES
@@ -160,6 +160,14 @@ Internal changes for developers to note
    Added proof-shell-inform-file-processed-cmd setting to 
    tell the prover about files which are processed completely 
    inside Proof General.
+   This is called when scripting is turned off inside a completely
+   processed buffer.
+   Added proof-shell-inform-file-retracted-cmd setting for
+   symmetric case: to tell the prover when files which are to be
+   considered *not* completely processed inside Proof General.
+   The is called when scripting is turned on inside a completely
+   processed buffer (as the conceptual state of the buffer changes
+   to partly-processed).
 
 * Many code cleanups and improvements.
 
-- 
cgit v1.2.3