From 292d3087895cd8b815eaea75271cd433bd913a94 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 9 Mar 2000 10:47:26 +0000 Subject: Updated --- BUGS | 4 ++-- CHANGES | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/BUGS b/BUGS index b43fab23..f0ee6118 100644 --- a/BUGS +++ b/BUGS @@ -11,9 +11,9 @@ 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 +* Problems with Japanese 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! +in current pre-release, please send in details of any problems! diff --git a/CHANGES b/CHANGES index 143859d1..47f5f1ed 100644 --- a/CHANGES +++ b/CHANGES @@ -22,9 +22,9 @@ *** README file added for each supported prover, explaining support. -*** Fixes for supporting Japan versions of Emacs which have older CL macs. +*** Fixes for supporting Japanese versions of Emacs which have older CL macs. - CL macs with Japanicised documentation, defined in "egg.el". + Probs with CL macs with Japanicised documentation, defined in "egg.el". Japanese Emacs users, please report any other problems you find, they may be fixable for similar reasons. -- cgit v1.2.3