GNU bug report logs - #22865
25.0.91; Use Proof General with emacs-25 on OS X frequent hangs coqtop

Previous Next

Package: emacs;

Reported by: John Wiegley <jwiegley <at> gmail.com>

Date: Tue, 1 Mar 2016 02:03:01 UTC

Severity: normal

Tags: moreinfo

Found in version 25.0.91

Done: John Wiegley <jwiegley <at> gmail.com>

Bug is archived. No further changes may be made.

Full log

Message #19 received at 22865-done <at> debbugs.gnu.org (full text, mbox):

From: Paul Eggert <eggert <at> cs.ucla.edu>
To: YAMAMOTO Mitsuharu <mituharu <at> math.s.chiba-u.ac.jp>
Cc: John Wiegley <jwiegley <at> gmail.com>,
 Clément Pit--Claudel <cpitcla <at> csail.mit.edu>,
 22865-done <at> debbugs.gnu.org
Subject: Re: 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

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.
This bug report was last modified 9 years and 137 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.