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

From: Clément Pit--Claudel <[email-masked]>
Date: Fri, 4 Mar 2016 15:25:27 -0500

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.