From 29872e8d7f0244cadfcadefd3262756c659f40b9 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 16 Oct 2009 12:01:38 +0000 Subject: Mention bugs with Coq script management. --- BUGS | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'BUGS') 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 -- cgit v1.2.3