[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Concurrency, again

From: Clément Pit--Claudel
Subject: Re: Concurrency, again
Date: Thu, 13 Oct 2016 15:34:43 -0400
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.3.0

On 2016-10-13 13:25, John Wiegley wrote:
>  - Asking Proof General to check a file that depends on 30 other files

Isn't proof general asynchronous?

Attachment: signature.asc
Description: OpenPGP digital signature

reply via email to

[Prev in Thread] Current Thread [Next in Thread]