From f5c8956c86825382245dce8039e07e93f4887270 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 26 May 2006 13:20:02 +0000 Subject: Updated. --- README-3.6pre | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'README-3.6pre') 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]. -- cgit v1.2.3