From 913d7f9a21a3c00a37708e23d8ae7d103071b531 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 11 Jun 2004 17:04:09 +0000
Subject: Link to FAQ

---
 BUGS | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/BUGS b/BUGS
index d062549f..d3bb9a2a 100644
--- a/BUGS
+++ b/BUGS
@@ -3,7 +3,8 @@
 * Known Bugs and Workarounds for Proof General.
 
 Contact:  mailto:da+pg-bugs@inf.ed.ac.uk
-See also: http://proofgeneral.inf.ed.ac.uk/BUGS
+For latest, see: http://proofgeneral.inf.ed.ac.uk/BUGS
+See also FAQ:    http://proofgeneral.inf.ed.ac.uk/FAQ
 
 Generic bugs are listed here, which may affect all of the supported
 provers.  See lego/BUGS coq/BUGS, etc, for specific bug lists for each
@@ -12,6 +13,10 @@ of the provers supported.
 The bugs here are split into problems which apply for all Emacs
 versions, and those which only apply to particular versions.
 
+NB: some issues which affect PG but which are not necessarily bugs in
+PG are mentioned in the FAQ.
+
+
 
 * Generic problems, for all Emacs versions
 
-- 
cgit v1.2.3