2 commits

Author	SHA1	Message	Date
Ludovic Courtès	82c1349503	Proof General: Build and install via the makefile. ... svn path=/nixpkgs/trunk/; revision=22162	2010-06-06 22:39:28 +00:00
Marco Maggesi	218bdaf214	Add expression for ProofGeneral ... svn path=/nixpkgs/trunk/; revision=18904	2009-12-11 16:18:27 +00:00