coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Proof General load path

From: Jelle Herold <jelle AT defekt.nl>
To: Coq Club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] Proof General load path
Date: Wed, 16 Nov 2011 13:57:13 +0100

On 11/16/2011 01:00 PM, Victor Porton wrote:

Lucian,
It is not load path for .v files which I need.
It is load command pf Proof General. I already have it, but I need to modify
load path for .v files.

See http://bit.ly/tEg5Ti for one way to do it ;(using .dir-locals.el file)

[Coq-Club] Proof General load path, Victor Porton
- Re: [Coq-Club] Proof General load path, Lucian M. Patcas
  - Re: [Coq-Club] Proof General load path, Victor Porton
    - Re: [Coq-Club] Proof General load path, Jelle Herold
- Re: [Coq-Club] Proof General load path, Pierre Courtieu