From 5dcb4363c6e083f513033946230d2ac2cc251caf Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 22 Mar 2000 14:13:30 +0000
Subject: Rename proof-shell-string-escapes -> proof-shell-filename-escapes

---
 CHANGES | 19 +++++++++++++++++--
 1 file changed, 17 insertions(+), 2 deletions(-)

diff --git a/CHANGES b/CHANGES
index af9b276a..a4a1fc4f 100644
--- a/CHANGES
+++ b/CHANGES
@@ -22,6 +22,11 @@
 
 ** Generic Changes
 
+*** Fixes for filenames with \ characters in them (mainly for Windows)
+
+  Fixed for Coq, Isabelle, and HOL.  
+
+
 *** Added key binding C-c C-BS and menu entry for delete last command
 
   This restores the old function of the sequence "C-u C-c C-u" onto
@@ -105,17 +110,27 @@
 
 *** Fix for Poly/ML with interrupts: use proof-shell-pre-interrupt-hook
 
+*** Fix for directory changes under Windows
+
 
 ** Isar Changes
 
 *** Syntax tweaks.
 
+*** Fix for Poly/ML with interrupts: use proof-shell-pre-interrupt-hook
 
-** Changes for developers to note
+*** Fix for directory changes under Windows
 
-*** todo files added for each prover (todo split from global todo).
 
+** Changes for developers to note
 
+*** todo files added for each prover (todo split from global todo).
 
+*** Added new customization: proof-shell-filename-escapes
 
+ See documentation for details.  This was to fix filename substitution
+ for occasions when Proof General needs to escape some special
+ characters in the filename.  Each prover should set this for
+ good behaviour with strange filenames (including those of Windows!)
 
+*** for others, see ChangeLog.
-- 
cgit v1.2.3