diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2006-05-26 13:20:02 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2006-05-26 13:20:02 +0000 |
| commit | f5c8956c86825382245dce8039e07e93f4887270 (patch) | |
| tree | e917c555d64e6dca35e74a079cc08dabe3769e6e /README-3.6pre | |
| parent | 440fec0fec99a9d48bd9d0efc6b9efd9f3783a4b (diff) | |
Updated.
Diffstat (limited to 'README-3.6pre')
| -rw-r--r-- | README-3.6pre | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/README-3.6pre b/README-3.6pre index 38bc3e58..0de9bdb9 100644 --- a/README-3.6pre +++ b/README-3.6pre @@ -4,7 +4,11 @@ There are improvements to Coq support, minor improvements to documentation, and some improvements for Isabelle, in particular to support additional features in Isabelle 2005. -Compatibility has been improved for more Emacs versions. +Compatibility has been improved for more Emacs versions across +different operating systems. + +Support for Unicode-safe interaction modes has been added (i.e., +not using Unicode-prefix characters as specials). [da, 10/8/05]. |