From 486594dd64cf97eae08297e8464ce75b81446ff3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 24 Mar 2000 10:07:57 +0000
Subject: Notes about upcoming 3.1.1 changes

---
 CHANGES | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'CHANGES')

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