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 ++++
 etc/release-log.txt | 1 +
 2 files changed, 5 insertions(+)

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
diff --git a/etc/release-log.txt b/etc/release-log.txt
index 419ad704..9cecd132 100644
--- a/etc/release-log.txt
+++ b/etc/release-log.txt
@@ -1,5 +1,6 @@
 24.03.00  3.1.1 Release 3-1-1
 	  Added more fixes for Isabelle and Windows.
+	  Fixes for Windows, using proper colours, etc.
 	  Markus's Isar syntax patches.
 
 
-- 
cgit v1.2.3