[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#22884: 25.0.92; C/l mode editing takes waaaayy too long
From: |
John Wiegley |
Subject: |
bug#22884: 25.0.92; C/l mode editing takes waaaayy too long |
Date: |
Wed, 09 Mar 2016 13:30:38 -0800 |
User-agent: |
Gnus/5.130014 (Ma Gnus v0.14) Emacs/25.0.92 (darwin) |
>>>>> Paul Eggert <eggert@cs.ucla.edu> writes:
> 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.
Ah, there are some C compilers (Borland I think?) that allowed nested comments
in C as an extension. But you're right, standard C does not.
--
John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F
http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2
- bug#22884: 25.0.92; C/l mode editing takes waaaayy too long, (continued)
- bug#22884: 25.0.92; C/l mode editing takes waaaayy too long, Eli Zaretskii, 2016/03/03
- bug#22884: 25.0.92; C/l mode editing takes waaaayy too long, Paul Eggert, 2016/03/03
- bug#22884: 25.0.92; C/l mode editing takes waaaayy too long, Alan Mackenzie, 2016/03/04
- bug#22884: 25.0.92; C/l mode editing takes waaaayy too long, Paul Eggert, 2016/03/04
- bug#22884: 25.0.92; C/l mode editing takes waaaayy too long, Alan Mackenzie, 2016/03/04
- bug#22884: 25.0.92; C/l mode editing takes waaaayy too long, Alan Mackenzie, 2016/03/13
- bug#22884: 25.0.92; C/l mode editing takes waaaayy too long, Alan Mackenzie, 2016/03/08
- bug#22884: 25.0.92; C/l mode editing takes waaaayy too long, Paul Eggert, 2016/03/09
- bug#22884: 25.0.92; C/l mode editing takes waaaayy too long, John Wiegley, 2016/03/09
- bug#22884: 25.0.92; C/l mode editing takes waaaayy too long, Paul Eggert, 2016/03/09
- bug#22884: 25.0.92; C/l mode editing takes waaaayy too long,
John Wiegley <=
- bug#22884: 25.0.92; C/l mode editing takes waaaayy too long, Alan Mackenzie, 2016/03/09
- bug#22884: 25.0.92; C/l mode editing takes waaaayy too long, Drew Adams, 2016/03/09
- bug#22884: 25.0.92; C/l mode editing takes waaaayy too long, Alan Mackenzie, 2016/03/09
- bug#22884: 25.0.92; C/l mode editing takes waaaayy too long, Drew Adams, 2016/03/09
bug#22884: 25.0.92; C/l mode editing takes waaaayy too long, Eli Zaretskii, 2016/03/03
bug#22884: 25.0.92; C/l mode editing takes waaaayy too long, Stefan Monnier, 2016/03/14