|
From: | Paul Eggert |
Subject: | bug#22884: 25.0.92; C/l mode editing takes waaaayy too long |
Date: | Wed, 9 Mar 2016 00:25:19 -0800 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.6.0 |
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.I'm afraid I know little about major modes and wouldn't be of much help as a reviewer for your patch (though it sounds good).
[Prev in Thread] | Current Thread | [Next in Thread] |