The Coq mailing list

[Dmitry Grebeniuk <gdsfh1 AT gmail.com>]

Hello.

  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'
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'
[...]
"
  And, really, these hotkeys doesn't work.
  I'd be glad to switch to Coq 8.4, but I like CoqIde and I want
to use it.
  Also I think it's not a Coq bug, probably it's a problem with my
configuration (installed packages?  lablgtk?), so I'm asking here
instead of filing bug report.
  I can't track down this problem.
  Could you help?