Changed name to proof-shell-inform-file-processed-cmd

1 files changed, 5 insertions, 0 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.