Updated

1 files changed, 4 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index 67b82077..e1765c0c 100644
--- a/CHANGES
+++ b/CHANGES
@@ -99,6 +99,10 @@
   Added for Coq, Isabelle, and HOL.  
   [Reported by Kim Hyung Ho]
 
+**** Fixes for Windows
+  Solve some bizarre file reading problems (some still remain, buggy XEmacs?)
+  Add default colours for using in Windows.
+
 
 
 ** Coq Changes