The Coq mailing list

[Pierre-Marie P�drot <pierremarie.pedrot AT ens-lyon.fr>]

Pierre Courtieu wrote:
> for coqide the only method I know of is the one explained in the coq
> reference manual:
> 
> http://coq.inria.fr/coq/refman/Reference-Manual019.html#toc106

For coqide, as it uses GTK, you could also use any input method editor
(such as scim or ibus) and write a m17n file describing the input you
wish to have (e.g. mimic the one of Emacs).

This language is very rich, and you can have its description here :
http://www.m17n.org/common/m17n-docs-en/m17nDBFormat.html#mdbIM

For a simpler insight, one can have a look into basic mim files
(eo-plena.mim is a good start).

I don't know how it is described in Emacs, but it should be similar, and
translation should be easy. If someone is interested, I may try to write
it myself, as long as I have the bindings.

PMP

Attachment: signature.asc
Description: OpenPGP digital signature