The Coq mailing list

[Christopher Ernest Sally <christopherernestsally AT gmail.com>]

Hey Marcus

Yeah, it was an annoying problem that was around for a while. (At the very least, all the windows ppl in my group suffered from it.) It should be gone in pl4, but if not, what you have to do is create a config file in a folder

Follow these instructions.

http://coq.inria.fr/cocorico/Configuration%20of%20CoqIDE

(you may have to try dropping it in several folders depending on your environment)

I also include a my config file for you as a template, 'cos I was never able to get one off cocorico.

Best

Chris

On 17 June 2014 19:15, Marcus Ramos <marcus.ramos AT univasf.edu.br> wrote:

Hi,

I am using CoqIDE 8.4pl3 in Windows 7, but shortcuts for navigation keys simply don´t work. Not even if I change the modifiers in the Preferences panel. Any idea on how to fix this? Or is it a bug?

Thanks,

Marcus.

Attachment: coqide.keys
Description: Binary data