The Coq mailing list

[Xavier Leroy <Xavier.Leroy AT inria.fr>]

On 02/19/2013 01:02 AM, Dmitry Grebeniuk wrote:

>   I've compiled Coq 8.4pl1 (since my OS has only 8.3pl4,
> and there is a bug/limitation that appears in 8.3pl4, but not
> in 8.4pl1), but I have a problem.
>   CoqIde output looks like
> "
> Unable to parse accelerator '<Ctrl>,' for action 'Preferences'

I experienced the same problem.  See

https://coq.inria.fr/bugs/show_bug.cgi?id=2977

which contains two reasonable fixes.

> Unable to parse accelerator 'MOD1i' for action 'Display implicit arguments'
> Unable to parse accelerator 'MOD1c' for action 'Display coercions'
> Unable to parse accelerator 'MOD1m' for action 'Display raw matching
> expressions'

This I didn't see.  Probably incompatibilities with various versions
of GTK2.

Best,

- Xavier Leroy