aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDavid Aspinall2002-08-31 12:58:12 +0000
committerDavid Aspinall2002-08-31 12:58:12 +0000
commit99e6cf34190f03fa9450a60176688d7ae3367030 (patch)
tree3729cb3396f28e19f436979988e8289fc0f4b993
parent50bfed262794f034c6cb48f978a9e48ffc2a05a3 (diff)
Updated.
-rw-r--r--CHANGES6
1 files 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