coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] latest Coq trunk breaks some things

From: Jonathan <jonikelee AT gmail.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] latest Coq trunk breaks some things
Date: Wed, 07 May 2014 10:11:42 -0400

On 05/07/2014 03:58 AM, Matthieu Sozeau wrote:

Hi Jonathan,

Could you please report it on the coq bugzilla (coq.inria.fr/bugs)?
coq-club is not really appropriate for bug reports.

Best,
— Matthieu

Done (3305 & 3306).

-- Jonathan

[Coq-Club] latest Coq trunk breaks some things, Jonathan, 05/07/2014
- Re: [Coq-Club] latest Coq trunk breaks some things, Jonathan, 05/07/2014
  - Re: [Coq-Club] latest Coq trunk breaks some things, Jonathan, 05/07/2014
    - Re: [Coq-Club] latest Coq trunk breaks some things, Matthieu Sozeau, 05/07/2014
      - Re: [Coq-Club] latest Coq trunk breaks some things, Jonathan, 05/07/2014
      - Message not available
        
        [Coq-Club] professional advice for a young Coq developer, Larry D. Lee jr., 05/22/2014
        
        Re: [Coq-Club] professional advice for a young Coq developer, Adam Chlipala, 05/23/2014
        
        Re: [Coq-Club] professional advice for a young Coq developer, Ramana Kumar, 05/23/2014
        
        Re: [Coq-Club] professional advice for a young Coq developer, David MENTRE, 05/23/2014
        Re: [Coq-Club] professional advice for a young Coq developer, Adam Chlipala, 05/23/2014
        Re: [Coq-Club] professional advice for a young Coq developer, Bas Spitters, 05/23/2014
        
        Re: [Coq-Club] professional advice for a young Coq developer, David MENTRE, 05/23/2014
        Re: [Coq-Club] professional advice for a young Coq developer, Adam Chlipala, 05/23/2014
        Re: [Coq-Club] professional advice for a young Coq developer, Jonathan, 05/23/2014
        Re: [Coq-Club] professional advice for a young Coq developer, Pierre Neron, 05/23/2014