From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Paul Eggert Newsgroups: gmane.emacs.bugs Subject: bug#22884: 25.0.92; C/l mode editing takes waaaayy too long Date: Wed, 9 Mar 2016 01:37:45 -0800 Organization: UCLA Computer Science Department Message-ID: <56DFEEE9.2030603@cs.ucla.edu> References: <56D72C35.4090708@cs.ucla.edu> <20160303124910.GA2852@acm.fritz.box> <56D87A6E.8090202@cs.ucla.edu> <83povbz3mp.fsf@gnu.org> <56D8CC45.2090102@cs.ucla.edu> <20160304144759.GB2117@acm.fritz.box> <56D9F0C6.4090800@cs.ucla.edu> <20160308140205.GA6269@acm.fritz.box> <56DFDDEF.9090800@cs.ucla.edu> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1457516311 30718 80.91.229.3 (9 Mar 2016 09:38:31 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 9 Mar 2016 09:38:31 +0000 (UTC) Cc: Alan Mackenzie , 22884@debbugs.gnu.org To: John Wiegley Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Wed Mar 09 10:38:15 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 1adaZL-0004mG-6D for geb-bug-gnu-emacs@m.gmane.org; Wed, 09 Mar 2016 10:38:15 +0100 Original-Received: from localhost ([::1]:40245 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1adaZK-0006I1-Ju for geb-bug-gnu-emacs@m.gmane.org; Wed, 09 Mar 2016 04:38:14 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:50541) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1adaZF-0006GT-Q5 for bug-gnu-emacs@gnu.org; Wed, 09 Mar 2016 04:38:12 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1adaZ8-0007Fp-AL for bug-gnu-emacs@gnu.org; Wed, 09 Mar 2016 04:38:09 -0500 Original-Received: from debbugs.gnu.org ([208.118.235.43]:43376) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1adaZ8-0007Fk-3J; Wed, 09 Mar 2016 04:38:02 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84) (envelope-from ) id 1adaZ7-0006o4-SE; Wed, 09 Mar 2016 04:38:01 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Paul Eggert Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org, bug-cc-mode@gnu.org Resent-Date: Wed, 09 Mar 2016 09:38:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 22884 X-GNU-PR-Package: emacs,cc-mode X-GNU-PR-Keywords: Original-Received: via spool by 22884-submit@debbugs.gnu.org id=B22884.145751627526143 (code B ref 22884); Wed, 09 Mar 2016 09:38:01 +0000 Original-Received: (at 22884) by debbugs.gnu.org; 9 Mar 2016 09:37:55 +0000 Original-Received: from localhost ([127.0.0.1]:40503 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84) (envelope-from ) id 1adaZ1-0006nb-0q for submit@debbugs.gnu.org; Wed, 09 Mar 2016 04:37:55 -0500 Original-Received: from zimbra.cs.ucla.edu ([131.179.128.68]:60067) by debbugs.gnu.org with esmtp (Exim 4.84) (envelope-from ) id 1adaYy-0006nO-RV for 22884@debbugs.gnu.org; Wed, 09 Mar 2016 04:37:53 -0500 Original-Received: from localhost (localhost [127.0.0.1]) by zimbra.cs.ucla.edu (Postfix) with ESMTP id 013B8160E8A; Wed, 9 Mar 2016 01:37:47 -0800 (PST) Original-Received: from zimbra.cs.ucla.edu ([127.0.0.1]) by localhost (zimbra.cs.ucla.edu [127.0.0.1]) (amavisd-new, port 10032) with ESMTP id frGE6gJKTeuS; Wed, 9 Mar 2016 01:37:46 -0800 (PST) Original-Received: from localhost (localhost [127.0.0.1]) by zimbra.cs.ucla.edu (Postfix) with ESMTP id 4C103160E8D; Wed, 9 Mar 2016 01:37:46 -0800 (PST) X-Virus-Scanned: amavisd-new at zimbra.cs.ucla.edu Original-Received: from zimbra.cs.ucla.edu ([127.0.0.1]) by localhost (zimbra.cs.ucla.edu [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id J3xxUI45451y; Wed, 9 Mar 2016 01:37:46 -0800 (PST) Original-Received: from [192.168.1.9] (pool-100-32-155-148.lsanca.fios.verizon.net [100.32.155.148]) by zimbra.cs.ucla.edu (Postfix) with ESMTPSA id 285E2160E8A; Wed, 9 Mar 2016 01:37:46 -0800 (PST) User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.6.0 In-Reply-To: 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:114631 Archived-At: John Wiegley wrote: > Coq supports (* foo (* bar *) *), in the same way that C does with /* */. It's not the same way as C, since C comments do not nest. > Was there something more you wanted to know? It's up to Alan, but I suppose Alan may want simple directions to try out nested comments in Coq, for someone who does not know Coq at all. E.g., what should the file name and contents be, and what emacs -Q keystrokes should one type to illustrate how nested comments work.