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 +++++
 1 file changed, 5 insertions(+)

(limited to 'CHANGES')

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