diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-08 23:17:33 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-08 23:17:33 +0000 |
commit | 153955899a42b9ef4c7ce5ad8cd9bcd82a39eb83 (patch) | |
tree | b77aa3fac8a901c6f60e6c5af793567d477d1d1e /coq/README | |
parent | 9d866b03a550f72f3ad7f148e443c73f5fb03b73 (diff) |
Remove more of 80 code
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.0, 8.1 +Coq version: 8.1 Coq homepage: http://coq.inria.fr/ =========================================================================== |