coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Jonathan Leivent <jonikelee AT gmail.com>
- To: coq-club AT inria.fr
- Subject: Re: [Coq-Club] Coq 8.5 beta 1
- Date: Thu, 29 Jan 2015 16:05:02 -0500
On 01/29/2015 03:49 PM, Matthieu Sozeau wrote:
Dear Coq-Club members,
The Coq development team is pleased to announce the release of the first beta
version of Coq 8.5 at http://coq.inria.fr/.
Félicitations! Chapeau!
- [Coq-Club] Coq 8.5 beta 1, Matthieu Sozeau, 01/29/2015
- Re: [Coq-Club] Coq 8.5 beta 1, Jonathan Leivent, 01/29/2015
- Re: [Coq-Club] Coq 8.5 beta 1, John Wiegley, 01/30/2015
- Re: [Coq-Club] Coq 8.5 beta 1, Pierre Courtieu, 01/30/2015
- [Coq-Club] Ssreflect and MathComp 1.5 for Coq 8.5beta1 available, Enrico Tassi, 01/30/2015
Archive powered by MHonArc 2.6.18.