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

---
 etc/release-log.txt | 1 +
 1 file changed, 1 insertion(+)

(limited to 'etc')

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