Subject: Re: bug#22884: 25.0.92; C/l mode editing takes waaaayy too long

From: Paul Eggert <[email-masked]>
Date: Wed, 9 Mar 2016 01:37:45 -0800

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.