[Top][All Lists]

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

Re: Concurrency, again

From: John Wiegley
Subject: Re: Concurrency, again
Date: Thu, 13 Oct 2016 12:49:20 -0700
User-agent: Gnus/5.130014 (Ma Gnus v0.14) Emacs/25.1.50 (darwin)

>>>>> "CP" == Clément Pit--Claudel <address@hidden> writes:

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

CP> Isn't proof general asynchronous?

Sometimes it is, sometimes my UI gets frozen.  I haven't identified under
which circumstances this happens yet.

John Wiegley                  GPG fingerprint = 4710 CF98 AF9B 327B B80F
http://newartisans.com                          60E1 46C4 BD1A 7AC1 4BA2

reply via email to

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