From 45e4cf2a722a3f9d43ddc0ed35b17e01a03c2006 Mon Sep 17 00:00:00 2001
From: mohring
Date: Tue, 24 Apr 2001 15:05:41 +0000
Subject: Mise a jour KNOWN-BUGS

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1687 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 KNOWN-BUGS | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/KNOWN-BUGS b/KNOWN-BUGS
index 73f4430bcc..774d181cf9 100644
--- a/KNOWN-BUGS
+++ b/KNOWN-BUGS
@@ -1,9 +1,7 @@
-  THIS IS A LIST OF KNOWN BUGS OF COQ V7.0 BETA
+  THIS IS A LIST OF KNOWN BUGS OF COQ V7.0
 
 - Realizer and Program/Program_all are not available
 
-- Correctness is not available
-
 - Local definitions in Record/Structure are not allowed
 
 - Alias of pattern with dependent types are not supported
-- 
cgit v1.2.3