Marco Maggesi 218bdaf214 Add expression for ProofGeneral ... svn path=/nixpkgs/trunk/; revision=18904		2009-12-11 16:18:27 +00:00
..
default.nix	Add expression for ProofGeneral	2009-12-11 16:18:27 +00:00