Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] Coq 8.5 beta 1

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Coq 8.5 beta 1


Chronological Thread 
  • 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



Archive powered by MHonArc 2.6.18.

Top of Page