From c621a2ea58e24b04db91787e38a6842fe80a477b Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Wed, 14 Apr 2004 16:30:28 +0000
Subject: Updated.

---
 coq/README | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'coq/README')

diff --git a/coq/README b/coq/README
index 0ba57bf4..2689a8d5 100644
--- a/coq/README
+++ b/coq/README
@@ -6,10 +6,10 @@ Later contributions by Patrick Loiseleur, Pierre Courtieu,
 
 Status:		supported
 Maintainer:	Pierre Courtieu
-Coq version:	6.3, 6.3.1, 7.x
+Coq version:	6.3, 6.3.1, 7.x, 8.x
 Coq homepage:	http://pauillac.inria.fr/coq/assis-eng.html
 
-========================================
+===========================================================================
 
 Coq Proof General has experimental multiple file handling for 6.3
 versions.  It does not have support for proof by pointing.
-- 
cgit v1.2.3