The Coq mailing list

[Marcus Ramos <marcus.ramos AT univasf.edu.br>]

Hi Chris,

Thanks a lot for your config file, now I can use shortcuts on Windows. I also tried pl4, but it still doesn´t work.

Best Regards,

Marcus.

2014-06-18 21:55 GMT+02:00 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.