coq-club AT inria.fr

Subject: The Coq mailing list

List archive

From: Satrajit Roy <satrajit.roy AT gmail.com>
To: coq-club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] Stumped by a perfectly good looking definition in Chilpala's CPDT
Date: Wed, 19 Oct 2016 13:12:26 -0400
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=satrajit.roy AT gmail.com; spf=Pass smtp.mailfrom=satrajit.roy AT gmail.com; spf=None smtp.helo=postmaster AT mail-oi0-f44.google.com
Ironport-phdr: 9a23:wV/rnRPIgmMKEo8MTdcl6mtUPXoX/o7sNwtQ0KIMzox0KPj+rarrMEGX3/hxlliBBdydsKMezbeI+Pm4BiQp2tWoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd+IyZnpnLnqpNX6WEZhvHKFe7R8LRG7/036l/I9ps9cEJs30QbDuXBSeu5blitCLFOXmAvgtI/rpMYwu3cYh/V0/MlZFK7+Yq5wGbdfFXEtN30/zMztrxjKCwWVsCgySGITxyFBHxLM7hDmFq32o2OureNhwiCYPNGwV7clcTun5qZvDhTvjXFUZHYC7GjLh5ko3+pgqxW7qkknzg==

I have the following issue with coqide (8.5pl2) on Windows:

I added -I"<folder>" to coqtop in the external customization settings page.

Now coqide fails to start since coqtop has wrong parameters.

I'm looking for .coqiderc, but there is no such file anywhere.

How do I fix this issue?

[Coq-Club] Stumped by a perfectly good looking definition in Chilpala's CPDT, Satrajit Roy, 10/17/2016
- Re: [Coq-Club] Stumped by a perfectly good looking definition in Chilpala's CPDT, John Wiegley, 10/17/2016
  - Re: [Coq-Club] Stumped by a perfectly good looking definition in Chilpala's CPDT, Satrajit Roy, 10/17/2016
    - Re: [Coq-Club] Stumped by a perfectly good looking definition in Chilpala's CPDT, Satrajit Roy, 10/18/2016
      - Re: [Coq-Club] Stumped by a perfectly good looking definition in Chilpala's CPDT, Dan Frumin, 10/18/2016
      - Re: [Coq-Club] Stumped by a perfectly good looking definition in Chilpala's CPDT, Tej Chajed, 10/18/2016
        
        Re: [Coq-Club] Stumped by a perfectly good looking definition in Chilpala's CPDT, Satrajit Roy, 10/18/2016
        
        Re: [Coq-Club] Stumped by a perfectly good looking definition in Chilpala's CPDT, Tej Chajed, 10/18/2016
        
        Re: [Coq-Club] Stumped by a perfectly good looking definition in Chilpala's CPDT, Satrajit Roy, 10/18/2016
        Re: [Coq-Club] Stumped by a perfectly good looking definition in Chilpala's CPDT, Satrajit Roy, 10/19/2016
        Re: [Coq-Club] Stumped by a perfectly good looking definition in Chilpala's CPDT, Hugo Herbelin, 10/20/2016