coq-club AT inria.fr

Subject: The Coq mailing list

List archive

From: Patricia Peratto <psperatto AT vera.com.uy>
To: coq-club <coq-club AT inria.fr>
Subject: [Coq-Club] coq in ubuntu
Date: Mon, 31 Aug 2015 18:23:06 -0300 (UYT)
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=psperatto AT vera.com.uy; spf=Pass smtp.mailfrom=psperatto AT vera.com.uy; spf=None smtp.helo=postmaster AT mta02.vera.com.uy
Dkim-filter: OpenDKIM Filter v2.9.0 mta01.in.vera.com.uy 30A1C2219A4
Ironport-phdr: 9a23:n3N7Mxco3k+9udmIX4kp7yNYlGMj4u6mDksu8pMizoh2WeGdxc6zZh7h7PlgxGXEQZ/co6odzbGG6Oa/ACdZvMbJmUtBWaIPfidNsd8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3BPAZ4bt74BpTVx5zukbvioNuMOk4R2Wr1SIgxBSv1hD2ZjtMRj4pmJ/R54TryiVwMRd5rw3h1L0mYhRf265T41pdi9yNNp6BprJYYAu3we60zTvRVCT0nNyg548jitB+RUwaV7z0XVWBQjwsAQ1OdtFCpFqv25yD9r6923DSQdZn9SqlxUjC/5Y9qTgXpgWEJLWhq3nvQj5lIhb5BoRmgrlRHzpTdfJ2SfK5mZbvQZ9oGWW1pQMtLXmpKBYb6cppZXLlJBvpRs4So/ghGlhC5HwT5X7u3xw==

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

commands does not work.

How can I arrange this?

Regards,

Patricia

[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