coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] CoqIDE 8.5: Issues with load path

From: Enrico Tassi <enrico.tassi AT inria.fr>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] CoqIDE 8.5: Issues with load path
Date: Mon, 2 Feb 2015 11:53:27 +0100

On Mon, Feb 02, 2015 at 10:48:15AM +0000, Soegtrop, Michael wrote:
> Btw.: Is this the right forum for discussing 8.5 issues, or is there a
> better place?

https://coq.inria.fr/bugs

Best,
--
Enrico Tassi

[Coq-Club] CoqIDE 8.5: Issues with load path, Soegtrop, Michael, 02/02/2015
- Re: [Coq-Club] CoqIDE 8.5: Issues with load path, Enrico Tassi, 02/02/2015