coq-club AT inria.fr

Subject: The Coq mailing list

List archive

RE: [Coq-Club] coq in ubuntu

From: "Soegtrop, Michael" <michael.soegtrop AT intel.com>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: RE: [Coq-Club] coq in ubuntu
Date: Tue, 1 Sep 2015 09:32:50 +0000
Accept-language: de-DE, en-US
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=michael.soegtrop AT intel.com; spf=Pass smtp.mailfrom=michael.soegtrop AT intel.com; spf=None smtp.helo=postmaster AT mga02.intel.com
Ironport-phdr: 9a23:7iXd1BFMgdLGZpUm841yiJ1GYnF86YWxBRYc798ds5kLTJ75oM2wAkXT6L1XgUPTWs2DsrQf27GQ7PurADdIyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4Ov7yUtaLyZ/njKbtoNaKOE1hv3mUX/BbFF2OtwLft80b08NJC50a7V/3mEZOYPlc3mhyJFiezF7W78a0+4N/oWwL46pyv50IbaKvNa8/VPlTCCksG2Ez/szi8xfZB0Pb7XwFF24SjxBgAg7f7Ri8UI2n4QXgse8okhKdMMLqV7csHXyH7qxrQRLswm9TMj8y8Gjajopri69UvAimvzR+xZLZZMeeM/8oLfCVRs8TWWcUBpUZbCdGGI7pN4Y=

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

[Coq-Club] coq in ubuntu, Patricia Peratto, 08/31/2015
- RE: [Coq-Club] coq in ubuntu, Soegtrop, Michael, 09/01/2015
  - Re: [Coq-Club] coq in ubuntu, Patricia Peratto, 09/08/2015
    - Re: [Coq-Club] coq in ubuntu, Ali Assaf, 09/09/2015
      - Re: [Coq-Club] coq in ubuntu, Patricia Peratto, 09/18/2015
        
        Re: [Coq-Club] coq in ubuntu, Ali Assaf, 09/19/2015