Karn Kallio c89f37078d Make ProofGeneral build with Emacs 24. ... svn path=/nixpkgs/trunk/; revision=34485		2012-06-12 21:51:53 +00:00
..
default.nix	Make ProofGeneral build with Emacs 24.	2012-06-12 21:51:53 +00:00