From ebd83a0749175afd6fc43623ece065d6b939ee3f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 21 Oct 1999 16:36:32 +0000
Subject: Renamed proof-shell-inform-file-processed-cmd

---
 CHANGES | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CHANGES b/CHANGES
index 12e9785a..fa687278 100644
--- a/CHANGES
+++ b/CHANGES
@@ -157,7 +157,7 @@ Internal changes for developers to note
   Previously it would load again, possibly altering settings.
 
 * Multiple file handling improvements:
-   Added proof-inform-file-processed-cmd setting to 
+   Added proof-shell-inform-file-processed-cmd setting to 
    tell the prover about files which are processed completely 
    inside Proof General.
 
-- 
cgit v1.2.3