|
From: | Paul Eggert |
Subject: | bug#22884: 25.0.92; C/l mode editing takes waaaayy too long |
Date: | Wed, 9 Mar 2016 01:37:45 -0800 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.6.0 |
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.
[Prev in Thread] | Current Thread | [Next in Thread] |