diff options
| author | David Aspinall | 2002-08-31 12:58:12 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-31 12:58:12 +0000 |
| commit | 99e6cf34190f03fa9450a60176688d7ae3367030 (patch) | |
| tree | 3729cb3396f28e19f436979988e8289fc0f4b993 | |
| parent | 50bfed262794f034c6cb48f978a9e48ffc2a05a3 (diff) | |
Updated.
| -rw-r--r-- | CHANGES | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -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 |
