diff options
-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]. |