The Coq mailing list

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

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