The Coq mailing list

[Dmitry Grebeniuk <gdsfh1 AT gmail.com>]

Hello.

> I experienced the same problem.  See
>
> https://coq.inria.fr/bugs/show_bug.cgi?id=2977
>
> which contains two reasonable fixes.

  Thank you for reply and for bug report: I've seen this bug
report, that's why I've compiled Coq trunk (however the
revision found in comments doesn't contain anything about
CoqIde/keys).
  The exact sequence of actions that helped me is:
1. compile Coq trunk and save preferences in CoqIde
   (CoqIde 8.4pl1 hadn't showed me "modifiers" for
   Navigation/Tactics/...),
2. compile Coq 8.4pl1 and use CoqIde without any problems.
  Strange that removing of ~/.coq* hadn't helped.
  Anyway the problem is solved, so now I'm a happy user
of Coq 8.4pl1 and its ide.