From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: John Wiegley Newsgroups: gmane.emacs.bugs Subject: bug#22865: 25.0.91; Use Proof General with emacs-25 on OS X frequent hangs coqtop Date: Sat, 05 Mar 2016 20:53:27 -0800 Message-ID: References: <56DB15D4.8050509@cs.ucla.edu> <56DB1A67.1040902@csail.mit.edu> <56DB385D.50201@cs.ucla.edu> Reply-To: John Wiegley NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: ger.gmane.org 1457240304 13581 80.91.229.3 (6 Mar 2016 04:58:24 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 6 Mar 2016 04:58:24 +0000 (UTC) Cc: =?UTF-8?Q?Cl=C3=A9ment?= Pit--Claudel , 22865-done@debbugs.gnu.org To: Paul Eggert Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Sun Mar 06 05:58:13 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 1acQlg-0003AF-VP for geb-bug-gnu-emacs@m.gmane.org; Sun, 06 Mar 2016 05:58:13 +0100 Original-Received: from localhost ([::1]:49200 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1acQld-0005jb-17 for geb-bug-gnu-emacs@m.gmane.org; Sat, 05 Mar 2016 23:58:09 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:45293) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1acQlZ-0005iL-LZ for bug-gnu-emacs@gnu.org; Sat, 05 Mar 2016 23:58:06 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1acQlW-00051w-Gb for bug-gnu-emacs@gnu.org; Sat, 05 Mar 2016 23:58:05 -0500 Original-Received: from debbugs.gnu.org ([208.118.235.43]:38899) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1acQlW-00051l-D6 for bug-gnu-emacs@gnu.org; Sat, 05 Mar 2016 23:58:02 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84) (envelope-from ) id 1acQlW-00070D-8a for bug-gnu-emacs@gnu.org; Sat, 05 Mar 2016 23:58:02 -0500 Resent-From: John Wiegley Original-Sender: "Debbugs-submit" Resent-To: bug-gnu-emacs@gnu.org Resent-Date: Sun, 06 Mar 2016 04:58:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: cc-closed 22865 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: moreinfo Mail-Followup-To: 22865@debbugs.gnu.org, johnw@gnu.org, jwiegley@gmail.com Original-Received: via spool by 22865-done@debbugs.gnu.org id=D22865.145724027026893 (code D ref 22865); Sun, 06 Mar 2016 04:58:02 +0000 Original-Received: (at 22865-done) by debbugs.gnu.org; 6 Mar 2016 04:57:50 +0000 Original-Received: from localhost ([127.0.0.1]:36025 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84) (envelope-from ) id 1acQlK-0006zh-88 for submit@debbugs.gnu.org; Sat, 05 Mar 2016 23:57:50 -0500 Original-Received: from mail-io0-f171.google.com ([209.85.223.171]:35965) by debbugs.gnu.org with esmtp (Exim 4.84) (envelope-from ) id 1acQlI-0006zV-FR for 22865-done@debbugs.gnu.org; Sat, 05 Mar 2016 23:57:48 -0500 Original-Received: by mail-io0-f171.google.com with SMTP id l127so101231711iof.3 for <22865-done@debbugs.gnu.org>; Sat, 05 Mar 2016 20:57:48 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:to:cc:subject:in-reply-to:date:message-id:references :user-agent:reply-to:mime-version; bh=2DReWFosEqgmXDK8lgD1cxsdOXVmSYIXrDfe4ZkKFrI=; b=HK+wqzwFLYAQWuRcy2bjK8anDdhk/IM74zJZFULiOpK8W3i47HX+kNkbG69tLJZzTH BVCiLtprySUrzlkYHAMEydQrbluSKOVGbm1jXrVIz1ldYdFXGth/d8ButlqGM6UdzocQ 4nMJjk2RSSrc4fNP/KFgIy85KcwG6XEZ1fnXC7Iy/cVU/T9HCQ2YGTDdrCt4imGU99it kGuqXz/Zve8E6Cmfr2AcPQ6biFNP2+PIg1UCO4RTEIWIlCA/yO04F8dfMt2sZW+ShsSM Ty6nw8gEiz9k1tQq+SvDuwjf2tG0AcGWHev5Zde8r0UyWfhzfyjJbra/qUbOwXhCH9bp jytA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:from:to:cc:subject:in-reply-to:date:message-id :references:user-agent:reply-to:mime-version; bh=2DReWFosEqgmXDK8lgD1cxsdOXVmSYIXrDfe4ZkKFrI=; b=Hxaebztsv1UbjQIGfMZwKcKJJCh+r8Q2izi06jB0W979akgBN4INlBEHeT773xxACD LaoD2mA6D634nHBfnhYorN/kzYKLUAslwmbOm+65YNQYqLjntDM+PPv3+x5FC//vjEuz wMOQzC0ouU9dbiJmKEVNBCcQpMpUqnzvWVxJflA7kgQLgJW6EnP4PLw4eeyyovE2hVDD bgf/vcSBIOX7hPF8k2JW5bnIzJpKXzGMwE45jxpUWLWr8FmhcjwERpX42HctxRHMw8ZO KjUkA3TD5f9nhvLFdRWVewjH+vYNZg+7y9gCrqfYaBpb+e8RwumHfgF/XDJmhivdEQOR PcKw== X-Gm-Message-State: AD7BkJKvV/pWAm89fgAFaljh16sVOWOOL9dSn0fA89iZKrpk/+fzzafdCY6Au/6RQPiw9Q== X-Received: by 10.107.30.195 with SMTP id e186mr13531154ioe.158.1457240262962; Sat, 05 Mar 2016 20:57:42 -0800 (PST) Original-Received: from Hermes.local (mail.johnwiegley.com. [208.82.103.192]) by smtp.gmail.com with ESMTPSA id d19sm1468750ioj.32.2016.03.05.20.57.41 (version=TLS1 cipher=AES128-SHA bits=128/128); Sat, 05 Mar 2016 20:57:41 -0800 (PST) X-Google-Original-From: "John Wiegley" Original-Received: by Hermes.local (Postfix, from userid 501) id C55CB4ED27F0; Sat, 5 Mar 2016 20:53:30 -0800 (PST) In-Reply-To: <56DB385D.50201@cs.ucla.edu> (Paul Eggert's message of "Sat, 5 Mar 2016 11:49:49 -0800") User-Agent: Gnus/5.130014 (Ma Gnus v0.14) Emacs/24.5 (darwin) 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:114471 Archived-At: >>>>> Paul Eggert writes: > Hmm, I suppose it is, though it's no longer a blocker for the release. I'll > reopen the bug report. Thank you, Paul. -- John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2