Mention bugs with Coq script management.

1 files changed, 6 insertions, 0 deletions

diff --git a/BUGS b/BUGS
index 787fa122..67cf68cb 100644
--- a/BUGS
+++ b/BUGS
@@ -1,5 +1,11 @@
 -*- outline -*-
 
+
+ NB: THERE ARE KNOWN BUGS IN THIS INTERIM RELEASE WITH 
+ SCRIPT MANAGEMENT FOR COQ!  APOLOGIES FOR INCONVENIENCE.
+ See http://proofgeneral.inf.ed.ac.uk/trac/ticket/287
+
+
 * Known Bugs and Workarounds for Proof General.
 
 For latest, see: http://proofgeneral.inf.ed.ac.uk/trac