bug-gnu-emacs
[Top][All Lists]
Advanced

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

bug#22865: 25.0.91; Use Proof General with emacs-25 on OS X frequent han


From: Clément Pit--Claudel
Subject: bug#22865: 25.0.91; Use Proof General with emacs-25 on OS X frequent hangs coqtop
Date: Fri, 4 Mar 2016 15:25:27 -0500
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.5.1

On 03/04/2016 02:55 PM, John Wiegley wrote:
> Clément, have you seen this bug on your side?  Is it possible that this only
> happens on OS X?

Definitely OS X only; I haven't seen it in over 6 months using of Emacs 25 w/ 
PG and Coq.

Attachment: signature.asc
Description: OpenPGP digital signature


reply via email to

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