coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] An other bug of Coq 8.3pl2

From: Andrej Bauer <andrej.bauer AT andrej.com>
To: Coq <coq-club AT inria.fr>
Subject: Re: [Coq-Club] An other bug of Coq 8.3pl2
Date: Sat, 12 Nov 2011 14:15:53 +0100

> For now, I pause my using and learning of Coq until the next release,
> because dealing with bugs is not what I want to do.

I think this is a very wise idea. Check again when Coq 8.6 is out,
perhaps it will work then. No point in dealing with a bunch of buggy
software.

Farewell,

Andrej

[Coq-Club] An other bug of Coq 8.3pl2, Victor Porton
- Message not available
  - Re: [Coq-Club] An other bug of Coq 8.3pl2, Victor Porton
    - Re: [Coq-Club] An other bug of Coq 8.3pl2, Alexandre Pilkiewicz
    - Re: [Coq-Club] An other bug of Coq 8.3pl2, Andrej Bauer