coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Proof General load path

From: Victor Porton <porton AT narod.ru>
To: Coq Club <coq-club AT inria.fr>
Subject: [Coq-Club] Proof General load path
Date: Tue, 15 Nov 2011 22:51:44 +0400
Envelope-from: porton AT yandex.ru

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