From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: =?UTF-8?Q?Cl=C3=A9ment?= Pit--Claudel Newsgroups: gmane.emacs.bugs Subject: bug#22865: 25.0.91; Use Proof General with emacs-25 on OS X frequent hangs coqtop Date: Sat, 5 Mar 2016 12:41:59 -0500 Message-ID: <56DB1A67.1040902@csail.mit.edu> References: <56DB15D4.8050509@cs.ucla.edu> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1457202019 27109 80.91.229.3 (5 Mar 2016 18:20:19 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 5 Mar 2016 18:20:19 +0000 (UTC) Cc: John Wiegley , 22865-done@debbugs.gnu.org To: Paul Eggert , YAMAMOTO Mitsuharu Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Sat Mar 05 19:20:09 2016 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1acGoC-0002N1-SA for geb-bug-gnu-emacs@m.gmane.org; Sat, 05 Mar 2016 19:20:09 +0100 Original-Received: from localhost ([::1]:47611 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1acGoB-00064A-Ud for geb-bug-gnu-emacs@m.gmane.org; Sat, 05 Mar 2016 13:20:07 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:46775) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1acGo9-00062o-CZ for bug-gnu-emacs@gnu.org; Sat, 05 Mar 2016 13:20:06 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1acGo6-0004iC-0Y for bug-gnu-emacs@gnu.org; Sat, 05 Mar 2016 13:20:05 -0500 Original-Received: from debbugs.gnu.org ([208.118.235.43]:38649) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1acGo5-0004i8-US for bug-gnu-emacs@gnu.org; Sat, 05 Mar 2016 13:20:01 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84) (envelope-from ) id 1acGo5-0000nH-RA for bug-gnu-emacs@gnu.org; Sat, 05 Mar 2016 13:20:01 -0500 X-Loop: help-debbugs@gnu.org Resent-From: =?UTF-8?Q?Cl=C3=A9ment?= Pit--Claudel Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sat, 05 Mar 2016 18:20:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 22865 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: moreinfo Original-Received: via spool by 22865-done@debbugs.gnu.org id=D22865.14572019813017 (code D ref 22865); Sat, 05 Mar 2016 18:20:01 +0000 Original-Received: (at 22865-done) by debbugs.gnu.org; 5 Mar 2016 18:19:41 +0000 Original-Received: from localhost ([127.0.0.1]:35776 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84) (envelope-from ) id 1acGnl-0000mb-KK for submit@debbugs.gnu.org; Sat, 05 Mar 2016 13:19:41 -0500 Original-Received: from mout.kundenserver.de ([212.227.126.135]:57023) by debbugs.gnu.org with esmtp (Exim 4.84) (envelope-from ) id 1acGDl-0008Hv-U7 for 22865-done@debbugs.gnu.org; Sat, 05 Mar 2016 12:42:30 -0500 Original-Received: from [18.189.68.195] ([18.189.68.195]) by mrelayeu.kundenserver.de (mreue005) with ESMTPSA (Nemesis) id 0LtjF3-1ZvKnJ3zXB-011EJ7; Sat, 05 Mar 2016 18:42:05 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.5.1 In-Reply-To: <56DB15D4.8050509@cs.ucla.edu> X-Provags-ID: V03:K0:Zp3Qu5XMrgVpclYH7XCjnIN72mggu1OTonorGjBhspbh8dmNXTY NDRmHRUVC3Fpk7LYPjBBKvK1jjIhxPdF9n4FOKxL3GpN/oDzNYb/teq4nV6Hy+QYIY/yLL+ affboOPHhgJcWWY0JRdrCjG3hVvdbjRRw3rS6kfcLtegtyOG+vrQuoJTi5ZTTVkMXVxWH9i WrvBfNrp9cPi2HNQeuvDA== X-UI-Out-Filterresults: notjunk:1;V01:K0:I/v69ItQk1Y=:m2ClERjd0wskuDJV9NSjJe OHQyRiRJFI9hLZNTf6Wfg4cXsI+5PFaslXLr5zp9c/BG5N7goxKuwC4S2YsO/G8umI7KTY4IW jlBRZ15csSvvSV9rX66Q/fC7AhUypyv6WPiw6SZNQY0g2K9Xzbvc4te7u1WXh3lQ6edfKsdQu Z0OXOscTpe8mkQZIpplCRMe+tcenNJ101kIo59xbsvZMlIduWiqFpXxVvYmRH/YUJDSW1yO1Z QT4+PTXF4l0mE5Ax3ql/QUdUWHZgrtz9xNc4fteg/u41tHD20dOUkGzkDZ1hDAnGN1ejYv7lv lMXyF5dFCGa+cI0sM4bRd8lQr6Y1BnkCBrHdPLqAav/r0VJq8KIQwjng3rrN1vz0KkMgZ1NQp WdiGukjM0HV8c5ntg7vjvehsOvMAOIvCBJlQm4YhhPoa6ZrTHRyOM0ospRc4v9jagTFTIi5j2 Rz/7DCU47kc8pMCVvnLQIcFcfFfw2RhfQip84Qvgl064Bo9Lu3JcYUm98Khsk1T3JOExWgPSk 0tPkE0KrTqZPpxDgFkGJLvFGu4Aef/uo6/R8u5Q+NYTk0s1pVXl0RsvVgT8N7kE++hj0EifcC rO4tURP7N37c2PEgKLD3eMnOjOL4/fp8u57IX2PZnd68VzwH2AUV8g6zNcrrcbz93k5/ILTg7 q8VnD//uROn5OV5dSNUbnJmLjjP30SSjfhgo7rl4oOeXja98AJsNsrAppCtOOmeSwogAdvo7j 6xvZxCyJnrOuliCw X-Mailman-Approved-At: Sat, 05 Mar 2016 13:19:40 -0500 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 208.118.235.43 X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Original-Sender: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.bugs:114458 Archived-At: On 03/05/2016 12:22 PM, Paul Eggert wrote: > In 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. Proof General includes a workaround, but isn't this still a bug?