From 51d13aed20e77d5cd3433d4c061794265e3dbf25 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 24 Mar 2000 16:12:16 +0000
Subject: Updated

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

(limited to 'CHANGES')

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