aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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