coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Coq 8.5 beta 1

From: "John Wiegley" <johnw AT newartisans.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Coq 8.5 beta 1
Date: Thu, 29 Jan 2015 23:04:35 -0500
Organization: New Artisans LLC

>>>>> Matthieu Sozeau
>>>>> <matthieu.sozeau AT inria.fr>
>>>>> writes:

> The Coq development team is pleased to announce the release of the first
> beta version of Coq 8.5 at http://coq.inria.fr/. The new available features
> include:

This is excellent; many thanks to the Coq team for their efforts!

John

[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