From 1ca974c0077999a000e09d2d5c05ca526b2369a0 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 23 Aug 1999 16:49:21 +0000
Subject: Mentioned C-c C-a being broken.  XEmacs 20.4 or later.

---
 BUGS | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/BUGS b/BUGS
index f247225c..468a69fb 100644
--- a/BUGS
+++ b/BUGS
@@ -29,7 +29,7 @@ breaks some of the code in Proof General, which is turned off in
 case the suspicious looking function
 toggle-enable-multibyte-characters is present.  This could effect
 forthcoming versions of XEmacs.
-Workaround: use FSFmacs 20.2, or XEmacs 20.4.
+Workaround: use FSFmacs 20.2, or XEmacs 20.4/later.
 
 * Using C-g can leave script management in a mess.  The code
 needs to have some regions protected from Emacs interrupts.
@@ -41,8 +41,8 @@ restrictions of protected region.  Workaround: none, nevermind.
 (If it's hugely needed we could support modified outline commands).
 
 * `proof-find-next-terminator' (bound to C-c C-e) doesn't work
-properly. Workaround: use other means to navigate in a proof scipt
-buffer. 
+properly.  Neither does 'proof-goto-command-start' (C-c C-a).
+Workaround: use other means to navigate in a proof scipt buffer. 
 
 * Multiple file handling for Lego and Isabelle is slightly vulnerable.
 Files are not locked when they are being read by the prover, so a long
-- 
cgit v1.2.3