Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] Re: change in behavior from 8.2pl3 to 8.3rc1 -- bug?

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Re: change in behavior from 8.2pl3 to 8.3rc1 -- bug?


chronological Thread 
  • From: Matthieu Sozeau <mattam AT mattam.org>
  • To: Coq Club <coq-club AT inria.fr>
  • Subject: Re: [Coq-Club] Re: change in behavior from 8.2pl3 to 8.3rc1 -- bug?
  • Date: Mon, 20 Sep 2010 15:00:15 -0400
  • Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=sender:content-type:mime-version:subject:from:in-reply-to:date :content-transfer-encoding:message-id:references:to:x-mailer; b=vm4ZxzXioUVFjjvZebO4ckFfn5Dyo0TQg0Fl9PJuEZ77NUD/PKBYndw6gp6jjo+MAu dyNG9LJapI0saCQ5sMPPSxou65t6ta1ikHMbro7LWUlOAjRtek6v40zRXFcBBeDH+xJv b/ZWzExNyjdpfHC0cn/IVV1f33yM8P+wCU8aM=
The CHANGES file should give you the best picture, including
highlights of incompatible changes.

Le 20 sept. 2010 à 14:54, Adam Megacz a écrit :

> 
> Matthieu Sozeau 
> <mattam AT mattam.org>
>  writes:
>> [Generalizable Variables A.] vernacular command (documented 
>> in the reference manual).
> 
> Ah, sorry for not checking that; I'll read more of the manual before
> continuing my migration to 8.3.
> 
> By the way, is there any sort of "diff" of the reference manual for
> those of us who'd like to see just the parts that have changed?
> 
> Thanks,
> 
>  - a
> 
> 



Archive powered by MhonArc 2.6.16.

Top of Page