coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Navigation shortcuts for CoqIDE in Windows 7

From: Marcus Ramos <marcus.ramos AT univasf.edu.br>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] Navigation shortcuts for CoqIDE in Windows 7
Date: Tue, 17 Jun 2014 13:15:31 +0200

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.

[Coq-Club] Navigation shortcuts for CoqIDE in Windows 7, Marcus Ramos, 06/17/2014
- Re: [Coq-Club] Navigation shortcuts for CoqIDE in Windows 7, Christopher Ernest Sally, 06/18/2014
  - Re: [Coq-Club] Navigation shortcuts for CoqIDE in Windows 7, Marcus Ramos, 06/23/2014