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 _______________________________________________ nix-dev mailing list [email protected] http://lists.science.uu.nl/mailman/listinfo/nix-dev
