diff options
Diffstat (limited to 'coq/README')
-rw-r--r-- | coq/README | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 ======================================== |