bug-gnu-emacs
[Top][All Lists]
Advanced

[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 01:28:58 -0800
User-agent: Gnus/5.130014 (Ma Gnus v0.14) Emacs/25.0.92 (darwin)

>>>>> Paul Eggert <eggert@cs.ucla.edu> writes:

> Alan Mackenzie wrote:
>> Can you recommend me a major mode with nestable comments?

> How about Coq? I think John Wiegley is a Coq user and can advise.

Coq supports (* foo (* bar *) *), in the same way that C does with /* */.  Was
there something more you wanted to know?

-- 
John Wiegley                  GPG fingerprint = 4710 CF98 AF9B 327B B80F
http://newartisans.com                          60E1 46C4 BD1A 7AC1 4BA2





reply via email to

[Prev in Thread] Current Thread [Next in Thread]