coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Proof General load path

From: "Lucian M. Patcas" <lucian.patcas AT gmail.com>
To: Victor Porton <porton AT narod.ru>
Cc: Coq Club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] Proof General load path
Date: Tue, 15 Nov 2011 18:15:34 -0500

Taken from http://proofgeneral.inf.ed.ac.uk/download:

Add this one line to your .emacs file, or inside its own file inside .emacs.d:

(load-file "dir/generic/proof-site.el")

On Tue, Nov 15, 2011 at 13:51, Victor Porton <porton AT narod.ru> wrote:

How to set Proof General load path?

coq-load-path interactive function is mentioned on the Web but is missing in my ProofGeneral-4.2pre111017.

--
Victor Porton - http://portonvictor.org

[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