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

2 files changed, 18 insertions, 13 deletions

diff --git a/BUGS b/BUGS
index 26a05e96..b43fab23 100644
--- a/BUGS
+++ b/BUGS
@@ -11,16 +11,13 @@ Proof General 3.0 BUGS addendum
 * FSF Emacs: problem with version 20.5: PG freezes when starting a
 proof assistant.  Fixed in the current pre-release.
 
+* Problems with Japan versions of FSF Emacs (at least) which have
+older versions of CL macros (defined in file "egg").  Hopefully fixed
+in current pre-release, please details of any problems!
 
 
 
 
-
-ProofGeneral 3.0 Original BUGS list
-===================================
-
-
-
 Generic problems
 ================
 
@@ -34,9 +31,9 @@ this line to .emacs should help:
 information, it may be difficult or impossible to interrupt it,
 because Emacs doesn't get a chance to process the C-c C-c keypress
 or "Stop" button push (or anything else).  In this situation, you
-will need to send an interrupt to the Isabelle process from another
-shell.  This problem can happen with looping rewrite rules in the
-Isabelle simplifier, when tracing rewriting.
+will need to send an interrupt to the (e.g.) Isabelle process from
+another shell.  This problem can happen with looping rewrite rules in
+the Isabelle simplifier, when tracing rewriting.
 
 * Highlighting script buffers in recent versions of FSF Emacs is a
 mess.  The underlying text property implementation has changed
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.