The Coq mailing list

[Pierre-Marie Pédrot <pierre-marie.pedrot AT inria.fr>]

On 01/03/2016 10:25, Enrico Tassi wrote:
> If a brave one really wants to add to CoqIDE handy utf8 input mode, I'd
> suggest copying the one we had in Matita:

Notwithstanding this whole discussion, I'm not sure this is the rôle of
the editor to implement a nice input method. KISS! Plus GTK-sourceview
2.x is a really crappy editor, and interfering with what the user types
is often buggy.

I am a proud user of CoqIDE and ibus + latextables and I'm pretty much
happy about it. Maybe we should provide an even better method for proof
writing in ibus?

PMP

Attachment: signature.asc
Description: OpenPGP digital signature