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: Paul Eggert
Subject: bug#22865: 25.0.91; Use Proof General with emacs-25 on OS X frequent hangs coqtop
Date: Sat, 5 Mar 2016 09:22:28 -0800
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.5.1
In <http://lists.gnu.org/archive/html/emacs-devel/2016-03/msg00087.html> YAMAMOTO Mitsuharu wrote: 


This part has been changed to the following one in
https://github.com/ProofGeneral/PG/blob/master/generic/proof-config.el,
...
and it seems to work for 25.0.92.
Thanks for checking this. As it appears that the bug has been fixed on the Proof General side, I'm closing the bug report.
reply via email to
[Prev in Thread] Current Thread [Next in Thread]