The Coq mailing list

[Patricia Peratto <psperatto AT vera.com.uy>]

I have tried modifying the shortcuts

from Preferences and it does not work.

I have modified the file coqide.keys.
When I try to execute it, the ; at the begining

of the file gives the syntactic error.

I guess the reason why this does not work

is because my version of coq is 8.3 pl 4
and I need a version greater or equal to

8.4.

I couldn't find a version of coq for

ubuntu- precise greater or equal than

8.4.

Regards,

Patricia

---

De: "Ali Assaf" <ali.assaf AT inria.fr>
Para: coq-club AT inria.fr
Enviados: Miércoles, 9 de Septiembre 2015 17:47:33
Asunto: Re: [Coq-Club] coq in ubuntu

Hi Patricia,

To correct Michael's answer, the default shortcuts for navigation are Ctrl + Alt + something (you can see them in the navigation menu), but Ctrl + Alt + arrow is used by Unity and Gnome to switch between workspaces. You can change the navigation shortcuts by going to Edit -> Preferences -> Shortcuts. For example, you can depress the Ctrl key next to "Modifiers for Navigation Menu" so that you can use Alt + arrow to navigate instead.

However, I remember that in some old versions of Coq, changing the shortcuts from the Preferences window simply did not work (the shortcuts would not change) and that I had to go edit some configuration file to replace Ctrl + Alt by just Alt. Unfortunately I don't remember exactly which file it is. I am guessing this is what you tried to do. Did you try the coqiderc file? I am not sure what you mean by "gives a syntactic error". What gives you this message?

Best,

Ali Assaf

---

From: "Patricia Peratto" <psperatto AT vera.com.uy>
To: coq-club AT inria.fr
Sent: Tuesday, September 8, 2015 2:42:33 PM
Subject: Re: [Coq-Club] coq in ubuntu

I couldn't configure the navigation commands.

(fwd, back, goto, etc) I have tried modifying the

coqide.keys file but the ; at the begining of the file

gives a syntactic error.

The coq version I have installed is 8.3 from

April 2012. The Ubuntu I have installed is

Precise.

I have tried modifying Edit/Preferences/Shortcuts

but it didn't work.

What can I do?

Regards,

Patricia

---

De: "Michael Soegtrop" <michael.soegtrop AT intel.com>
Para: coq-club AT inria.fr
Enviados: Martes, 1 de Septiembre 2015 6:32:50
Asunto: RE: [Coq-Club] coq in ubuntu

Dear Patricia,

 

I guess you mean the key combinations with Alt-key. The problem is that Unity uses the Alt key for its own purposes. So you can either tell Unity or CoqIDE to use a different key.

 

In CoqIDE you can do this under Edit/Preferences/Shortcuts easily.

 

In Unity I think it is more complicated because afaik you need to disable/redefine each shortcut individually, e.g. using the unity tweak tool.

 

Best regards,

 

Michael

 

From: coq-club-request AT inria.fr [mailto:coq-club-request AT inria.fr] On Behalf Of Patricia Peratto
Sent: Monday, August 31, 2015 11:23 PM
To: coq-club
Subject: [Coq-Club] coq in ubuntu

 

I have installed coq in Ubuntu (versión 12.04) and the Navigation

commands does not work.

 

How can I arrange this? 

 

Regards,

Patricia

Intel Deutschland GmbH
Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany
Tel: +49 89 99 8853-0, www.intel.de
Managing Directors: Christin Eisenschmid, Prof. Dr. Hermann Eul
Chairperson of the Supervisory Board: Tiffany Doon Silva
Registered Office: Munich
Commercial Register: Amtsgericht Muenchen HRB 186928