The Coq mailing list

[vincent.gross AT inria.fr]

I wrote and somehow packaged a uim module for CoqIDE. It's available in svn
trunk and v8.3.

1) install uim on your system
2) from coq sourcedir, issue a ./configure. If your uim installation is in a
non standard place, use the -uim-script-path option
3) issue a make install-im as root
4) using uim-pref-gtk, select CoqIDE to be the default IM

If you want CoqIDE to use uim by default, set the environment variable
GTK_IM_MODULE to "uim"

This module uses the same escape sequences as the emacs TeX mode