From a38f5defd9ed81de0263b1bf5ec42bce3589cdd2 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 17 Jul 2002 12:03:46 +0000
Subject: Update versions/TODO

---
 coq/README | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'coq/README')

diff --git a/coq/README b/coq/README
index f9626a25..0ba57bf4 100644
--- a/coq/README
+++ b/coq/README
@@ -6,7 +6,7 @@ Later contributions by Patrick Loiseleur, Pierre Courtieu,
 
 Status:		supported
 Maintainer:	Pierre Courtieu
-Coq version:	6.3, 6.3.1, 7.0
+Coq version:	6.3, 6.3.1, 7.x
 Coq homepage:	http://pauillac.inria.fr/coq/assis-eng.html
 
 ========================================
-- 
cgit v1.2.3