From df4441e4219b8c4ea38cfeb8e5a60ff5a9deb668 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 11 Oct 2010 00:34:57 +0000 Subject: Updated --- BUGS | 6 ------ 1 file changed, 6 deletions(-) diff --git a/BUGS b/BUGS index 936b30ee..2ec9b8a1 100644 --- a/BUGS +++ b/BUGS @@ -1,11 +1,5 @@ -*- 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