[Nix-dev] proofgeneral cannot find proof-site.el

[Maarten Faddegon]

On 12/11/2012 06:15 PM, Karn Kallio wrote:
> A possibility: does your .emacs configuration file have a modification for
> Proof General?  I have this:
>
> ;; Load Proof General
> (load "ProofGeneral/generic/proof-site")

My .emacs was empty, when I add those lines proofgeneral is starting up 
fine.

Thanks!

Maarten