3 commits

Author	SHA1	Message	Date
Marco Maggesi	503f04ca54	ProofGeneral 4.0 ... svn path=/nixpkgs/trunk/; revision=27252	2011-05-14 20:59:53 +00:00
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