Skip to Content.

Sympa Menu

coq-club - [Coq-Club] Declarative Mode and Bug 2371

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Declarative Mode and Bug 2371

chronological Thread

From: Alan Pogrebinschi <alanpog AT gmail.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] Declarative Mode and Bug 2371
Date: Tue, 8 Nov 2011 11:19:34 -0200

Hi,
Is there a target version for having bug 2371 fixed?
(http://www.lix.polytechnique.fr/coq/bugs/show_bug.cgi?id=2371)
It currently has the lowest priority (P5).
Thanks!
Alan

[Coq-Club] Declarative Mode and Bug 2371, Alan Pogrebinschi

Archive powered by MhonArc 2.6.16.