1 files changed, 2 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index 124da18b..1bf45a3b 100644
--- a/CHANGES
+++ b/CHANGES
@@ -3,6 +3,8 @@
 --- This is a development release of Proof General,   ---
 --- some features may be incomplete or buggy.  Please ---
 --- report any problems to da@dcs.ed.ac.uk, thanks.   ---
+--- Check the files BUGS and <prover>/BUGS first.     ---
+
 --- ID: $Id$	      			              ---
 
 * Summary of Changes for Proof General 3.4pre from 3.3