From 99e6cf34190f03fa9450a60176688d7ae3367030 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 31 Aug 2002 12:58:12 +0000
Subject: Updated.

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

diff --git a/CHANGES b/CHANGES
index de2d5ee5..ace99c57 100644
--- a/CHANGES
+++ b/CHANGES
@@ -12,8 +12,10 @@
 
 *** Parsing internals changed: minor user visible differences
 
-Please report any problems/annoyances.   
-Not yet enabled for Isabelle/Isar.
+Please report any problems/annoyances which may be unexpected.
+NB: Not yet enabled for Isabelle/Isar.
+
+*** Colour improvements
 
 
 ** GNU Emacs compatibility improvements
-- 
cgit v1.2.3