coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Future

From: Laurent Thery <Laurent.Thery AT inria.fr>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Future
Date: Mon, 10 Apr 2017 11:27:11 +0200

> I get these messages whenever I backtrack across an [abstract]

That's it, I use interval that I think does use abstract.

> (and I believe I've had a bug open on this for a while, though I may be

Yep Bug 5160. A pity the bug tracklist is not indexed by google....

--
Laurent

[Coq-Club] Future, Laurent Thery, 04/09/2017
- Re: [Coq-Club] Future, Enrico Tassi, 04/09/2017
  - Re: [Coq-Club] Future, Jason Gross, 04/10/2017
    - Re: [Coq-Club] Future, Laurent Thery, 04/10/2017