From 153955899a42b9ef4c7ce5ad8cd9bcd82a39eb83 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 8 Sep 2009 23:17:33 +0000 Subject: Remove more of 80 code --- coq/README | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'coq/README') diff --git a/coq/README b/coq/README index dbb77ba8..934ec0cd 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: 8.0, 8.1 +Coq version: 8.1 Coq homepage: http://coq.inria.fr/ =========================================================================== -- cgit v1.2.3