diff options
| author |  Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2015-12-31 15:23:35 +0100 |
|---|---|---|
| committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2015-12-31 15:23:35 +0100 |
| commit | 40a248f2007e7239ce01824a18f48fb0ab7d6d22 (patch) | |
| tree | 67db985d80dc3f3c3a774085098ff8c7e41097a9 /coq/README | |
| parent | bfdb02859bcef664b5916849f88e1ab854696f64 (diff) | |
comment and readme.
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: 8.3 +Coq version: 8.5 Coq homepage: http://coq.inria.fr/ =========================================================================== |