1 files changed, 5 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index 721d7217..67b82077 100644
--- a/CHANGES
+++ b/CHANGES
@@ -127,6 +127,10 @@
 
 *** Fix for directory changes under Windows
 
+    We use different low-level cd command that understands Windows syntax.
+    But since Isabelle functions don't understand Windows syntax, we map
+    backslashes -> forward slashes there.
+
 *** Bug fix with .thy files and X-Symbol mode
   
     Subsequently visited theory files would have X-Symbols broken.  
@@ -134,6 +138,7 @@
 
 
 
+
 ** Isar Changes
 
 *** Syntax tweaks.