Note about bug/fix with old Japan versions of CL macs.

1 files changed, 12 insertions, 4 deletions

diff --git a/CHANGES b/CHANGES
index 6e24d002..5d5fc3c8 100644
--- a/CHANGES
+++ b/CHANGES
@@ -5,16 +5,23 @@ Summary of Changes for Proof General 3.1 from 3.0
 Generic Changes
 ---------------
 
+Fixes for supporting Japan versions of Emacs which have older CL macs
+with Japanicised documentation.  (Japan users, please report any other
+problems you find, they may be fixable for similar reasons).
+
 Minor bug fix for duplicated short output.
  (set proof-shell-eager-annotation-start-length appropriately)
 
 Bug fix with .thy files and X-Symbol mode: subsequently visited
- theory files would have X-Symbols broken.  (NB: Fix in progress)
-
-Bug fix for FSF Emacs 20.5.  (Emacs would freeze when starting proof
-assistant due to character matching problem).
+ theory files would have X-Symbols broken.  
 
+Bug fix for (non-mule) FSF Emacs 20.5.  (Emacs would freeze when
+starting proof assistant due to character matching problem).
 
+Fix for infamous Solaris ^G problem, by setting
+process-connection-type=nil to force piped communication instead of
+ptys.  (This may have other side effects so please report any you
+suspect).
 
 
 
@@ -49,3 +56,4 @@ Only in the developers' release
 Internal changes for developers to note
 ---------------------------------------
 
+No changes.