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 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'BUGS')

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!
 
 
 
-- 
cgit v1.2.3