coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Windows Timeout Command

From: Pierre-Marie Pédrot <pierre-marie.pedrot AT inria.fr>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Windows Timeout Command
Date: Fri, 06 Jun 2014 23:56:35 +0200

On 06/06/2014 23:54, Jason Gross wrote:
> Any chance of a patch or plugin that works with 8.4?

As far as I know, 8.4 is not linked with the thread module, so, no,
there is little hope.

PMP

Attachment: signature.asc
Description: OpenPGP digital signature

[Coq-Club] Windows Timeout Command, Jason Gross, 06/06/2014
- Re: [Coq-Club] Windows Timeout Command, Pierre-Marie Pédrot, 06/06/2014
  - Re: [Coq-Club] Windows Timeout Command, Jason Gross, 06/06/2014
    - Re: [Coq-Club] Windows Timeout Command, Pierre-Marie Pédrot, 06/06/2014
      - Re: [Coq-Club] Windows Timeout Command, Jason Gross, 06/09/2014