[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.
signature.asc
Description: OpenPGP digital signature